Issues

• Consolidated translation findings: 14 source-fix groups with an applicable patch

  OpenLogicProject/OpenLogic#436 · Filter by author KokunoYumeto opened on Sep 25, 2026

• Seven localized source corrections found during translation QA

  OpenLogicProject/OpenLogic#435 · Filter by author KokunoYumeto opened on Aug 17, 2026
  1

• Order-type of models of PA

  OpenLogicProject/OpenLogic#425 · Filter by author beastaugh opened on Mar 18, 2026
  1

• Improve docs

  OpenLogicProject/OpenLogic#390 · Filter by author StanFromIreland opened on Mar 30, 2025

• Linting/Spellchecking workflow

  OpenLogicProject/OpenLogic#389 · Filter by author StanFromIreland opened on Mar 30, 2025
  1

• Can I contribute proofs to theorems whose proof left for exercise?

  OpenLogicProject/OpenLogic#362 · Filter by author marethyu opened on Feb 10, 2024
  3

• Russel's Paradox typo

  OpenLogicProject/OpenLogic#339 · Filter by author HermesMarc opened on Sep 25, 2023
  1

• More precise definition of derivations in natural deduction

  OpenLogicProject/OpenLogic#300 · Filter by author beastaugh opened on Feb 14, 2022
  4

• Justify intuitionistic logic through the BHK interpretation could be problematic

  OpenLogicProject/OpenLogic#288 · Filter by author feffemannen opened on Nov 25, 2021

• Recursive functions and the Church-Turing thesis

  OpenLogicProject/OpenLogic#232 · Filter by author ionathanch opened on Apr 16, 2020
  4

• Provide the reader with full information

  OpenLogicProject/OpenLogic#227 · Filter by author kirk86 opened on Jan 24, 2020

• [feature request] Grounding examples for abstract concepts

  OpenLogicProject/OpenLogic#225 · Filter by author kirk86 opened on Jan 15, 2020

• Turing machine continuity w/ other definitions

  OpenLogicProject/OpenLogic#221 · Filter by author BassP97 opened on Dec 28, 2019
  1

• Convert formulas to OLP commands in set-theory

  OpenLogicProject/OpenLogic#205 · Filter by author rzach opened on Aug 29, 2019

• Uniformize reduction, conversion, contraction, equivalence

  OpenLogicProject/OpenLogic#190 · Filter by author rzach opened on Feb 28, 2019

• Add proof of fundamental theorem of arithmetic

  OpenLogicProject/OpenLogic#189 · Filter by author rzach opened on Feb 27, 2019
  3

• Proof of Consistency Expansion (First Order Logic - Completeness)

  OpenLogicProject/OpenLogic#179 · Filter by author rybla opened on Jun 14, 2018
  1

• Make tableaux into decision procedures when possible

  OpenLogicProject/OpenLogic#178 · Filter by author rzach opened on Apr 2, 2018
  1

• Make tableaux signed/unsigned per tag

  OpenLogicProject/OpenLogic#176 · Filter by author rzach opened on Mar 27, 2018

• Syntax and Semantics for FOL material has become too technical

  OpenLogicProject/OpenLogic#173 · Filter by author nicolewyatt opened on Mar 5, 2018
  3

• Left-align signed formulas in tableaux

  OpenLogicProject/OpenLogic#172 · Filter by author rzach opened on Feb 27, 2018

• Completeness for modal tableaux

  OpenLogicProject/OpenLogic#171 · Filter by author rzach opened on Feb 27, 2018
  1

• On verifying that primitive-recursive functions are provably total in PA

  OpenLogicProject/OpenLogic#160 · Filter by author iblech opened on Nov 10, 2017
  9

• Make independent of memoir

  LaTeX
  OpenLogicProject/OpenLogic#151 · Filter by author rzach opened on Aug 21, 2017

• PDF generation for reviewing changes in pull requests

  OpenLogicProject/OpenLogic#148 · Filter by author emanuelbuholzer opened on Jul 18, 2017
  14