Open Logic Project (@OpenLogicProj) / X

Open Logic Project

1,521 posts

Open Logic Project

@OpenLogicProj

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

openlogicproject.org

Joined November 2013

Pinned
Open Logic Project
@OpenLogicProj
Feb 10, 2025
We are no longer active on Twitter. Subscribe by email: openlogicproject.org/subscribe-by-e… or follow us on the Fediverse: openlogicproject.org/@openlogic
openlogicproject.org
Subscribe by Email
Visit the post for more.
Open Logic Project
@OpenLogicProj
Oct 22, 2023
Beta version of fitch.sty 1.0 available for testing (that's Selinger's natural deduction package)
openlogicproject.org
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 logic textbooks of the forall x family). It is now…
Open Logic Project
@OpenLogicProj
Aug 15, 2023
There's a new (beta) version of forall x: Calgary. Here’s a list of changes:
openlogicproject.org
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 bit to see if there are any problems. Here’s a list of changes: Fully accessible H…
Open Logic Project
@OpenLogicProj
Jul 27, 2023
The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook
forall x now in HTML for extra accessibility
From openlogicproject.org
Open Logic Project
@OpenLogicProj
May 17, 2023
[New Issue] Fix a few typos
Fix a few typos by pitmonticone · Pull Request #333 · OpenLogicProject/OpenLogic
From github.com