Hexuan “Ricky” Huang (University of Cambridge) has created an interactive online edition of forall x: Calgary. Like our own HTML […]
Category: Uncategorized
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: Calgary
I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a […]
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 […]
Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen […]
forall x: Calgary goes international (and other updates)
ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German […]