Issues

Consolidated translation findings: 14 source-fix groups with an applicable patch
OpenLogicProject/OpenLogic#436 · opened on Sep 25, 2026
Seven localized source corrections found during translation QA
OpenLogicProject/OpenLogic#435 · opened on Aug 17, 2026
1
Order-type of models of PA
OpenLogicProject/OpenLogic#425 · opened on Mar 18, 2026
1
Improve docs
OpenLogicProject/OpenLogic#390 · opened on Mar 30, 2025
Linting/Spellchecking workflow
OpenLogicProject/OpenLogic#389 · opened on Mar 30, 2025
1
Can I contribute proofs to theorems whose proof left for exercise?
OpenLogicProject/OpenLogic#362 · opened on Feb 10, 2024
3
Russel's Paradox typo
OpenLogicProject/OpenLogic#339 · opened on Sep 25, 2023
1
More precise definition of derivations in natural deduction
OpenLogicProject/OpenLogic#300 · opened on Feb 14, 2022
4
Justify intuitionistic logic through the BHK interpretation could be problematic
OpenLogicProject/OpenLogic#288 · opened on Nov 25, 2021
Recursive functions and the Church-Turing thesis
OpenLogicProject/OpenLogic#232 · opened on Apr 16, 2020
4
Provide the reader with full information
OpenLogicProject/OpenLogic#227 · opened on Jan 24, 2020
[feature request] Grounding examples for abstract concepts
OpenLogicProject/OpenLogic#225 · opened on Jan 15, 2020
Turing machine continuity w/ other definitions
OpenLogicProject/OpenLogic#221 · opened on Dec 28, 2019
1
Convert formulas to OLP commands in set-theory
OpenLogicProject/OpenLogic#205 · opened on Aug 29, 2019
Uniformize reduction, conversion, contraction, equivalence
OpenLogicProject/OpenLogic#190 · opened on Feb 28, 2019
Add proof of fundamental theorem of arithmetic
OpenLogicProject/OpenLogic#189 · opened on Feb 27, 2019
3
Proof of Consistency Expansion (First Order Logic - Completeness)
OpenLogicProject/OpenLogic#179 · opened on Jun 14, 2018
1
Make tableaux into decision procedures when possible
OpenLogicProject/OpenLogic#178 · opened on Apr 2, 2018
1
Make tableaux signed/unsigned per tag
OpenLogicProject/OpenLogic#176 · opened on Mar 27, 2018
Syntax and Semantics for FOL material has become too technical
OpenLogicProject/OpenLogic#173 · opened on Mar 5, 2018
3
Left-align signed formulas in tableaux
OpenLogicProject/OpenLogic#172 · opened on Feb 27, 2018
Completeness for modal tableaux
OpenLogicProject/OpenLogic#171 · opened on Feb 27, 2018
1
On verifying that primitive-recursive functions are provably total in PA
OpenLogicProject/OpenLogic#160 · opened on Nov 10, 2017
9
Make independent of memoir
OpenLogicProject/OpenLogic#151 · opened on Aug 21, 2017
PDF generation for reviewing changes in pull requests
OpenLogicProject/OpenLogic#148 · opened on Jul 18, 2017
14