Pinned Repositories
bussproofs-extra
Additional functionality for bussproofs.sty
fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction
fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
forallx
P.D. Magnus' forallx logic textbook
forallx-cam
Tim Button's Cambridge version of forallx
LogicTimeline
A timeline of logic and foundations of mathematics
OpenLogic
An open-source, customizable intermediate logic textbook
photos
Digital images used as illustrations in the Open Logic Project
portraits
Line art portraits of logicians for the Open Logic Project
set-theory
Tim Button's open textbook on set theory
Open Logic Project's Repositories
OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
OpenLogicProject/forallx
P.D. Magnus' forallx logic textbook
OpenLogicProject/fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
OpenLogicProject/set-theory
Tim Button's open textbook on set theory
OpenLogicProject/forallx-cam
Tim Button's Cambridge version of forallx
OpenLogicProject/portraits
Line art portraits of logicians for the Open Logic Project
OpenLogicProject/fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction
OpenLogicProject/bussproofs-extra
Additional functionality for bussproofs.sty
OpenLogicProject/LogicTimeline
A timeline of logic and foundations of mathematics
OpenLogicProject/photos
Digital images used as illustrations in the Open Logic Project
OpenLogicProject/jsturing
Turing machine simulator in HTML/Javascript
OpenLogicProject/OpenLogicConvert
Conversion toolchain to produce OLT in vanilla LaTeX/XML/HTML/etc
OpenLogicProject/OpenLogicPortraits
A wiki cataloging portraits of logicians available online, in the public domain or with an open license.
OpenLogicProject/OpenLogic-fr
An open-source, customizable intermediate logic textbook