Login
From:
Open Logic Project
(Uncensored)
subscribe
Selinger’s fitch.sty: 1.0 beta – Open Logic Project
https://openlogicproject.org/2023/10/16/selingers-fitch-sty-1-0-beta/
links
backlinks
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…
Roast topics
Find topics
Find it!
