Hexuan “Ricky” Huang (University of Cambridge) has created an interactive online edition of forall x: Calgary. Like our own HTML […]
Author: rzach
New forallx Fitch proof editor & checker
Daniyal Akif, a math undergrad student at UT Austin, has updated Kevin Klement’s old Fitch proof editor and checker. If […]
Open Logic Project now in Portuguese
Parts of the Open Logic Text as well as the textbooks Sets, Logic, Computation and Set Theory are now available […]
Preparing for Fall 2025
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it’s […]
Selinger’s fitch.sty: 1.0 beta
Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open […]
Fall 2023 version of forall x: YYC now official, on Amazon
I’ve removed the “beta” from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on […]
Fall 2023 version of forall x: Calgary
I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a […]
forall x now in HTML for extra accessibility
I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned […]
The Open Logic Project is 10!
The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin […]
Follow the Open Logic Project on Mastodon
Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts […]