Owner
OpenLogicProject
2 indexed repositories · View on GitHub
-
OpenLogic
An open-source, customizable intermediate logic textbook
TeX · 1365 stars
-
fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction
TeX · 20 stars
Loading issues
-
Difficulty 1/5 Under an hour Newbie friendliness 65/100
OpenLogicProject/OpenLogic#339 · 1 comment ·