[New Commit] Fix a typo in a proof about filtrations zpr.io/vC7JuUTJ58JM

[New Commit] spell out JFK; fixes issue #320 zpr.io/QPa9BiqASkJh

[New Issue] Slc f21 bis zpr.io/FcYFFaFAr229

[New Issue] Small typo in description of canonical model zpr.io/dq8BubhZgBng

[New Issue] Small typo in Lindenbaum's lemma for int logic zpr.io/sLkH5nN328kB

[New Issue] Small typo (already used variable name) in Functions Representable in Q are Computable github.com/OpenLogicProje…

[New Issue] Small typo in Simultation Primitive Recursion github.com/OpenLogicProje…

[New Issue] Typo in "recursive functions" github.com/OpenLogicProje…

[New Issue] Fix typo github.com/OpenLogicProje…

[New Issue] Fix small typo github.com/OpenLogicProje…

The Open Logic Project is 10! openlogicproject.org/2023/03/07/the…

Happy #OEWeek23 and happy 10th birthday to us! 🎂 openlogicproject.org/2023/03/07/the…

[New Issue] Format set axioms github.com/OpenLogicProje…

[New Issue] Fix typos github.com/OpenLogicProje…

[New Issue] Fix a few typos github.com/OpenLogicProje…

The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook openlogicproject.org/2023/07/27/for…

There's a new (beta) version of forall x: Calgary. Here’s a list of changes: openlogicproject.org/2023/08/15/fal…

Beta version of fitch.sty 1.0 available for testing (that's Selinger's natural deduction package) openlogicproject.org/2023/10/16/sel…