@LogicalAtomist no thank you @thePMrewrite WKU Potter College of Arts & Letters Western Kentucky University WKU Poli Sci @pcaldean Dr. Cheryl Stevens Tim Caboni Western Kentucky Universityherald congrats

@LogicalAtomist no thank you @thePMrewrite WKU Potter College of Arts & Letters Western Kentucky University WKU Poli Sci @pcaldean Dr. Cheryl Stevens Tim Caboni Western Kentucky Universityherald Congratulations!!!

@LogicalAtomist Andrej Bauer The Coq proof assistant @thePMrewrite I only get a 'coming soon' will check back 11 😀

@LogicalAtomist Andrej Bauer The Coq proof assistant @thePMrewrite That is really cool! Do you have a git one might look at?

@thePMrewrite The Coq proof assistant Isabelle Prover (Fedi: @[email protected]) That is not the problem I think: but it also dropped the 'www.' in front.

@thePMrewrite The Coq proof assistant Isabelle Prover (Fedi: @[email protected]) Ah, it should have been principiarewrite.com! I got the site without 'www' from the Twitter account. Sorry for my question then.

@thePMrewrite BedRock Systems Heliax Informal Systems 🌱 Microsoft Research Amazon Oh, I can't forget Galois !

@LogicalAtomist Andrej Bauer The Coq proof assistant @thePMrewrite 👍

@LogicalAtomist no thank you @thePMrewrite WKU Potter College of Arts & Letters Western Kentucky University WKU Poli Sci @pcaldean Dr. Cheryl Stevens Tim Caboni Western Kentucky Universityherald That's awesome! Looking forward to it!

@thePMrewrite The Coq proof assistant Isabelle Prover (Fedi: @[email protected]) And now it dropped the 'www' from the sitename in this tweet too 🙄, although it is present in the link.

@thePMrewrite If you're looking for jobs with theorem proving in particular, there are a few places I know of: BedRock Systems, Heliax, Informal Systems 🌱, Microsoft Research, and Amazon. But I think a lot of their ITP folks have PhDs, I'm not sure if that's a requirement at any/all of them.

@LogicalAtomist @thePMrewrite Wow, Landon, this looks GREAT! Looking forward to more details!

@LogicalAtomist @thePMrewrite Stack Exchange Yeh. This doesn't quite work, but the code it is based on does work on evince and okular (two pdf viewers on linux), but only if you use the tooltip**** version. And even that is buggy (and you have to click [which is fine]). So it is getting there, but not quite. Thanks!

@thePMrewrite Cambridge University Press Spectacular news!

@thePMrewrite Are they looking for programming jobs, or for PhD studentships? (Maybe jobs for now, with an eye for PhD programs in the future?)

@LogicalAtomist Simon L The Coq proof assistant @thePMrewrite How's it going and how can you live without ordered pairs?

@thePMrewrite Cambridge University Press Wow that is amazing!

@LogicalAtomist SSHAP/JHAP no thank you @thePMrewrite WKU Potter College of Arts & Letters Western Kentucky University WKU Poli Sci @pcaldean Dr. Cheryl Stevens Tim Caboni Western Kentucky Universityherald Sorry I missed this. Amazing! Congrats!

@thePMrewrite Cambridge University Press Nice website. Great project for 2022 — Russell’s 150th birthday year. Recently visited CUP shop in Cambridge and asked for PM. I was mistakenly told it was out of print, although CUP subsequently confirmed they still have print copies.

CrankyPhilosopher @alanrichardson.bsky.social Prof. Catarina Dutilh Novaes Doctor Logic Yes! @LogicalAtomist @thePMrewrite