• An open-source, customizable intermediate logic textbook

    TeX 351 99 CC-BY-4.0 Updated Aug 18, 2018
  • Tim Button's Cambridge version of forallx

    TeX 1 7 Updated Jun 29, 2018
  • P.D. Magnus' forallx logic textbook

    TeX 3 1 CC-BY-4.0 Updated May 15, 2018
  • JavaScript/PHP Fitch-style natural deduction proof editor and checker

    PHP 3 1 GPL-3.0 Updated Jan 12, 2018
  • Digital images used as illustrations in the Open Logic Project

    TeX 4 Updated Dec 18, 2016
  • Turing machine simulator in HTML/Javascript

    JavaScript 1 11 Updated Nov 24, 2016
  • Line art portraits of logicians for the Open Logic Project

    4 Updated Aug 23, 2016
  • Additional functionality for bussproofs.sty

    TeX 3 Updated Jun 30, 2015
  • Conversion toolchain to produce OLT in vanilla LaTeX/XML/HTML/etc

    1 1 Updated Jun 23, 2015
  • A wiki cataloging portraits of logicians available online, in the public domain or with an open license.

    1 Updated Apr 19, 2015
  • A timeline of logic and foundations of mathematics

    3 Updated Nov 26, 2014