Skip to content
@OpenLogicProject

Open Logic Project

Popular repositories Loading

  1. OpenLogic OpenLogic Public

    An open-source, customizable intermediate logic textbook

    TeX 1.2k 272

  2. forallx forallx Public

    P.D. Magnus' forallx logic textbook

    TeX 69 15

  3. fitch-checker fitch-checker Public

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

    PHP 58 6

  4. set-theory set-theory Public

    Tim Button's open textbook on set theory

    TeX 41 10

  5. fitch fitch Public

    Peter Selinger's LaTeX macros for Fitch style natural deduction

    TeX 19 3

  6. forallx-cam forallx-cam Public

    Tim Button's Cambridge version of forallx

    TeX 15 45

Repositories

Showing 10 of 14 repositories
  • OpenLogic Public

    An open-source, customizable intermediate logic textbook

    OpenLogicProject/OpenLogic’s past year of commit activity
    TeX 1,243 CC-BY-4.0 272 40 5 Updated Nov 26, 2025
  • fitch-checker Public

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

    OpenLogicProject/fitch-checker’s past year of commit activity
    PHP 58 GPL-3.0 6 9 1 Updated Aug 26, 2025
  • set-theory Public

    Tim Button's open textbook on set theory

    OpenLogicProject/set-theory’s past year of commit activity
    TeX 41 CC-BY-4.0 10 0 0 Updated Jun 25, 2025
  • forallx Public

    P.D. Magnus' forallx logic textbook

    OpenLogicProject/forallx’s past year of commit activity
    TeX 69 CC-BY-4.0 15 0 0 Updated Mar 30, 2025
  • OpenLogic-fr Public Forked from OpenLogicProject/OpenLogic

    An open-source, customizable intermediate logic textbook

    OpenLogicProject/OpenLogic-fr’s past year of commit activity
    TeX 0 CC-BY-4.0 274 0 0 Updated Aug 29, 2024
  • fitch Public

    Peter Selinger's LaTeX macros for Fitch style natural deduction

    OpenLogicProject/fitch’s past year of commit activity
    TeX 19 3 4 0 Updated Dec 17, 2023
  • LogicTimeline Public

    A timeline of logic and foundations of mathematics

    OpenLogicProject/LogicTimeline’s past year of commit activity
    HTML 6 0 0 0 Updated Feb 16, 2021
  • bussproofs-extra Public

    Additional functionality for bussproofs.sty

    OpenLogicProject/bussproofs-extra’s past year of commit activity
    TeX 6 LPPL-1.3c 0 4 0 Updated Jun 2, 2019
  • forallx-cam Public

    Tim Button's Cambridge version of forallx

    OpenLogicProject/forallx-cam’s past year of commit activity
    TeX 15 CC-BY-4.0 45 0 0 Updated Sep 25, 2018
  • photos Public

    Digital images used as illustrations in the Open Logic Project

    OpenLogicProject/photos’s past year of commit activity
    TeX 8 2 1 0 Updated Dec 18, 2016
View all repositories

Most used topics

Loading…