Open Logic Project

Popular repositories Loading

OpenLogic Public

An open-source, customizable intermediate logic textbook

TeX 1.2k 260
forallx Public

P.D. Magnus' forallx logic textbook

TeX 68 14
fitch-checker Public

JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)

PHP 55 6
set-theory Public

Tim Button's open textbook on set theory

TeX 39 7
fitch Public

Peter Selinger's LaTeX macros for Fitch style natural deduction

TeX 18 2
forallx-cam Public

Tim Button's Cambridge version of forallx

TeX 15 42

OpenLogic Public
An open-source, customizable intermediate logic textbook

TeX 1,218 CC-BY-4.0 260 42 5 Updated Oct 1, 2025
fitch-checker Public
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)

PHP 55 GPL-3.0 6 9 1 Updated Aug 26, 2025
set-theory Public
Tim Button's open textbook on set theory

TeX 39 CC-BY-4.0 7 0 0 Updated Jun 25, 2025
forallx Public
P.D. Magnus' forallx logic textbook

TeX 68 CC-BY-4.0 14 0 0 Updated Mar 30, 2025
OpenLogic-fr Public Forked from OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook

TeX 0 CC-BY-4.0 262 0 0 Updated Aug 29, 2024
fitch Public
Peter Selinger's LaTeX macros for Fitch style natural deduction

TeX 18 2 4 0 Updated Dec 17, 2023
LogicTimeline Public
A timeline of logic and foundations of mathematics

HTML 6 1 0 0 Updated Feb 16, 2021
bussproofs-extra Public
Additional functionality for bussproofs.sty

TeX 6 LPPL-1.3c 0 4 0 Updated Jun 2, 2019
forallx-cam Public
Tim Button's Cambridge version of forallx

TeX 15 CC-BY-4.0 42 0 0 Updated Sep 26, 2018
photos Public
Digital images used as illustrations in the Open Logic Project

TeX 8 2 1 0 Updated Dec 18, 2016