Open Logic Project

Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.

[Open Logic Project @OpenLogicProj]

We are no longer active on Twitter. Subscribe by email: https://t.co/Fiw5X83bmd or follow us on the Fediverse: https://t.co/SQVTuVrqdT

[Open Logic Project @OpenLogicProj]

Beta version of fitch.sty 1.0 available for testing (that's Selinger's natural deduction package) https://t.co/VWDx6y16TD

[Open Logic Project @OpenLogicProj]

There's a new (beta) version of forall x: Calgary. Here’s a list of changes: https://t.co/E8ES6QiSNw

[Open Logic Project @OpenLogicProj]

The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook https://t.co/lOs5nOIPMO

[Open Logic Project @OpenLogicProj]

The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook https://t.co/lOs5nOIPMO

[Open Logic Project @OpenLogicProj]

[New Issue] Fix a few typos https://t.co/lT0KKzEbR1

[Open Logic Project @OpenLogicProj]

[New Issue] Fix typos https://t.co/vCXFxdAI0K

[Open Logic Project @OpenLogicProj]

[New Issue] Format set axioms https://t.co/CZZ8BsJAic

[Open Logic Project @OpenLogicProj]

Happy #OEWeek23 and happy 10th birthday to us! 🎂 https://t.co/RZCzB7CLnz

[Open Logic Project @OpenLogicProj]

The Open Logic Project is 10! https://t.co/RZCzB7CLnz

[Open Logic Project @OpenLogicProj]

[New Issue] Fix small typo https://t.co/NskOukDTcR

[Open Logic Project @OpenLogicProj]

[New Issue] Fix typo https://t.co/id7jRaaKE0

[Open Logic Project @OpenLogicProj]

[New Issue] Typo in "recursive functions" https://t.co/lglMSKymMg

[Open Logic Project @OpenLogicProj]

[New Issue] Small typo in Simultation Primitive Recursion https://t.co/5S3XLilHec

[Open Logic Project @OpenLogicProj]

[New Issue] Small typo (already used variable name) in Functions Representable in Q are Computable https://t.co/vTwGJGj6py

[Open Logic Project @OpenLogicProj]

[New Issue] Small typo in Lindenbaum's lemma for int logic https://t.co/66WP3uBFUs

[Open Logic Project @OpenLogicProj]

[New Issue] Small typo in description of canonical model https://t.co/826YdiB0nL

[Open Logic Project @OpenLogicProj]

[New Issue] Slc f21 bis https://t.co/pmQmdVwtOK

[Open Logic Project @OpenLogicProj]

[New Commit] spell out JFK; fixes issue #320 https://t.co/BnqnkqsRkq

[Open Logic Project @OpenLogicProj]

[New Commit] Fix a typo in a proof about filtrations https://t.co/m4biaNpCV8