Skip to content

@OpenLogicProject Open Logic Project

Change the repository type filter

All

    Repositories list

    14 repositories

    • OpenLogic

      Public
      An open-source, customizable intermediate logic textbook
      TeX
      •
      Creative Commons Attribution 4.0 International
      •273•1.3k•41•5•Updated Nov 26, 2025Nov 26, 2025

    • fitch-checker

      Public
      JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
      PHP
      •
      GNU General Public License v3.0
      •6•58•9•1•Updated Aug 26, 2025Aug 26, 2025

    • set-theory

      Public
      Tim Button's open textbook on set theory
      TeX
      •
      Creative Commons Attribution 4.0 International
      •10•41•0•0•Updated Jun 25, 2025Jun 25, 2025

    • forallx

      Public
      P.D. Magnus' forallx logic textbook
      TeX
      •
      Creative Commons Attribution 4.0 International
      •15•69•0•0•Updated Mar 30, 2025Mar 30, 2025

    • OpenLogic-fr

      Public
      An open-source, customizable intermediate logic textbook
      TeX
      •
      Creative Commons Attribution 4.0 International
      •273•0•0•0•Updated Aug 29, 2024Aug 29, 2024

    • fitch

      Public
      Peter Selinger's LaTeX macros for Fitch style natural deduction
      TeX
      •3•19•4•0•Updated Dec 17, 2023Dec 17, 2023

    • LogicTimeline

      Public
      A timeline of logic and foundations of mathematics
      HTML
      •
      Other
      •0•6•0•0•Updated Feb 16, 2021Feb 16, 2021

    • bussproofs-extra

      Public
      Additional functionality for bussproofs.sty
      TeX
      •
      LaTeX Project Public License v1.3c
      •0•6•4•0•Updated Jun 2, 2019Jun 2, 2019

    • forallx-cam

      Public
      Tim Button's Cambridge version of forallx
      TeX
      •
      Creative Commons Attribution 4.0 International
      •47•15•0•0•Updated Sep 26, 2018Sep 26, 2018

    • photos

      Public
      Digital images used as illustrations in the Open Logic Project
      TeX
      •2•8•1•0•Updated Dec 18, 2016Dec 18, 2016

    • jsturing

      Public
      Turing machine simulator in HTML/Javascript
      JavaScript
      •27•1•0•0•Updated Nov 24, 2016Nov 24, 2016

    • portraits

      Public
      Line art portraits of logicians for the Open Logic Project
      Other
      •3•8•0•0•Updated Aug 23, 2016Aug 23, 2016

    • OpenLogicConvert

      Public
      Conversion toolchain to produce OLT in vanilla LaTeX/XML/HTML/etc
      1•1•0•0•Updated Jun 23, 2015Jun 23, 2015

    • OpenLogicPortraits

      Public
      A wiki cataloging portraits of logicians available online, in the public domain or with an open license.
      0•1•0•0•Updated Apr 19, 2015Apr 19, 2015