Owner

OpenLogicProject

2 indexed repositories · View on GitHub

OpenLogic
An open-source, customizable intermediate logic textbook

TeX · 1365 stars
fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction

TeX · 20 stars

Beginner friendly Everything

Open All

Seven localized source corrections found during translation QA Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

OpenLogicProject/OpenLogic#435 · 1 comment · Opened Aug 17, 2026
Properly support tagging Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

OpenLogicProject/fitch#11 · 1 comment · Opened Jul 25, 2026
Order-type of models of PA Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

OpenLogicProject/OpenLogic#425 · 1 comment · Opened Mar 18, 2026
Improve docs Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#390 · Opened Mar 30, 2025
Linting/Spellchecking workflow Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

OpenLogicProject/OpenLogic#389 · 1 comment · Opened Mar 30, 2025
Can I contribute proofs to theorems whose proof left for exercise? Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#362 · 3 comments · Opened Feb 10, 2024
Make printing of line numbers configurable Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

OpenLogicProject/fitch#8 · 1 comment · Opened Oct 15, 2023
Russel's Paradox typo Open

Difficulty 1/5 Under an hour Newbie friendliness 65/100

OpenLogicProject/OpenLogic#339 · 1 comment · Opened Sep 25, 2023
hook for local definitions Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

OpenLogicProject/fitch#3 · 1 comment · Opened Aug 19, 2023
More precise definition of derivations in natural deduction Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

OpenLogicProject/OpenLogic#300 · 4 comments · Opened Feb 14, 2022
Justify intuitionistic logic through the BHK interpretation could be problematic Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#288 · Opened Nov 25, 2021
Recursive functions and the Church-Turing thesis Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

OpenLogicProject/OpenLogic#232 · 4 comments · 1 reaction · Opened Apr 16, 2020
Provide the reader with full information Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#227 · 1 reaction · Opened Jan 24, 2020
[feature request] Grounding examples for abstract concepts Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#225 · Opened Jan 15, 2020
Turing machine continuity w/ other definitions Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

OpenLogicProject/OpenLogic#221 · 1 comment · Opened Dec 28, 2019
Convert formulas to OLP commands in set-theory Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#205 · Opened Aug 29, 2019
Uniformize reduction, conversion, contraction, equivalence Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

OpenLogicProject/OpenLogic#190 · Opened Feb 28, 2019
Add proof of fundamental theorem of arithmetic Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

OpenLogicProject/OpenLogic#189 · 3 comments · Opened Feb 27, 2019
Proof of Consistency Expansion (First Order Logic - Completeness) Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

OpenLogicProject/OpenLogic#179 · 1 comment · Opened Jun 14, 2018
Make tableaux into decision procedures when possible Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#178 · 1 comment · Opened Apr 2, 2018
Make tableaux signed/unsigned per tag Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#176 · Opened Mar 27, 2018
Syntax and Semantics for FOL material has become too technical Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#173 · 3 comments · Opened Mar 5, 2018
Left-align signed formulas in tableaux Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

OpenLogicProject/OpenLogic#172 · Opened Feb 27, 2018
Completeness for modal tableaux Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#171 · 1 comment · Opened Feb 27, 2018
On verifying that primitive-recursive functions are provably total in PA Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

OpenLogicProject/OpenLogic#160 · 9 comments · Opened Nov 10, 2017
Make independent of memoir Open

LaTeX

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#151 · Opened Aug 21, 2017
PDF generation for reviewing changes in pull requests Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#148 · 14 comments · Opened Jul 18, 2017
Figure out how diagrams should work Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#141 · 1 comment · Opened Jul 6, 2017
Provability in PA Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#128 · Opened Jun 3, 2017
Explain formulas in SOL Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

OpenLogicProject/OpenLogic#127 · Opened Jun 2, 2017
Index Open

LaTeX

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#84 · Opened Mar 4, 2016
Generate PDF/A output Open

enhancement LaTeX

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#82 · Opened Jan 22, 2016
Replace token mechanism with one based on glossaries.sty Open

enhancement

OpenLogicProject/OpenLogic#78 · 1 assignee · Opened Dec 10, 2015
Make the OLP accessible Open

enhancement LaTeX

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#76 · 1 comment · Opened Nov 25, 2015
Replace tag backend by tagged package Open

enhancement LaTeX

Difficulty 3/5 1-2 days Newbie friendliness 50/100

OpenLogicProject/OpenLogic#75 · Opened Nov 25, 2015
Expand chapter on "Lambda Calculus" Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 15/100

OpenLogicProject/OpenLogic#66 · Opened Oct 17, 2015
Part on "Model Theory" Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#65 · 1 comment · Opened Oct 17, 2015
Part on "Intuitionistic Logic" Open

addition

Difficulty 5/5 Over a week Newbie friendliness 15/100

OpenLogicProject/OpenLogic#64 · Opened Oct 17, 2015
Abstract logic satisfaction relation hardcoded Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

OpenLogicProject/OpenLogic#55 · 2 comments · Opened Sep 20, 2015
Additions from available (non-CC) material Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#41 · 5 comments · Opened May 4, 2015
Glossary & List/Index of symbols Open

enhancement LaTeX

Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#40 · 2 comments · Opened Apr 9, 2015
More careful object/metalanguage distinction Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#24 · 1 comment · Opened Feb 10, 2015
Add provability with open formulas Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#18 · Opened Jul 10, 2014
Alternate Representability in Q for Recursive Functions Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#17 · Opened Jul 10, 2014
open-logic-defer should offer more options Open

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 assignee · Opened Nov 26, 2013

OpenLogicProject

Get new issues in your inbox