Skip to content

@OpenLogicProject Open Logic Project

All

    Repositories list

    15 repositories

    • fitch

      Public
      Peter Selinger's LaTeX macros for Fitch style natural deduction
      TeX
      •5•21•2•1•Updated Sep 19, 2026Sep 19, 2026

    • OpenLogic

      Public
      An open-source, customizable intermediate logic textbook
      TeX
      •
      Creative Commons Attribution 4.0 International
      •291•1.4k•44•5•Updated Aug 14, 2026Aug 14, 2026

    • OpenLogic-pt

      Public
      Translation of OLP into Portuguese
      TeX
      •0•1•0•0•Updated Jul 12, 2026Jul 12, 2026

    • set-theory

      Public
      Tim Button's open textbook on set theory
      TeX
      •
      Creative Commons Attribution 4.0 International
      •10•44•0•0•Updated Jul 12, 2026Jul 12, 2026

    • fitch-checker

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

    • forallx

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

    • forallx-do

      Public
      TU Dortmund version of forallx, an introduction to formal logic. Based on UCalgary version of forallx.
      TeX
      •
      Creative Commons Attribution 4.0 International
      •54•0•0•0•Updated Mar 10, 2023Mar 10, 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•7•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
      •54•16•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
      •31•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.