OpenLogicProject/OpenLogic

View on GitHub

An open-source, customizable intermediate logic textbook

Is OpenLogicProject/OpenLogic beginner-friendly?

We have not seen enough recent pull requests from outside contributors to OpenLogicProject/OpenLogic to say how often they are merged. 1 beginner-friendly issue is open now.

Stars: 1.4k
Forks: 289
Open beginner issues: 1
Indexed issues: 43

Dominant language: TeX
License: CC-BY-4.0
Last GitHub push: Aug 14, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

How to contribute to OpenLogicProject/OpenLogic

There is no contributing guide, so start from the README and a few recently merged pull requests to see how changes are proposed.
Your contributions will be published under the project's CC-BY-4.0 license.
Pick the open beginner-friendly issue below and comment that you want to work on it before you start.

Beginner friendly Everything

Open All

Issues somebody may already be working on are listed last. List everything by date

Consolidated translation findings: 14 source-fix groups with an applicable patch
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 50/100

OpenLogicProject/OpenLogic#436 · Opened Sep 25, 2026
Seven localized source corrections found during translation QA
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 68/100

OpenLogicProject/OpenLogic#435 · 1 comment · Opened Aug 17, 2026
Order-type of models of PA
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 30/100

OpenLogicProject/OpenLogic#425 · 1 comment · Opened Mar 18, 2026
Improve docs
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 25/100

OpenLogicProject/OpenLogic#390 · Opened Mar 30, 2025
Linting/Spellchecking workflow
Open
- Is something wrong?
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
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#362 · 3 comments · Opened Feb 10, 2024
Russel's Paradox typo
Open
- Is something wrong?
Difficulty 1/5 Under an hour Newbie friendliness 65/100

OpenLogicProject/OpenLogic#339 · 1 comment · Opened Sep 25, 2023
More precise definition of derivations in natural deduction
Open
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#225 · Opened Jan 15, 2020
Turing machine continuity w/ other definitions
Open
- Is something wrong?
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
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#205 · Opened Aug 29, 2019
Uniformize reduction, conversion, contraction, equivalence
Open
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 45/100

OpenLogicProject/OpenLogic#172 · Opened Feb 27, 2018
Completeness for modal tableaux
Open
- Is something wrong?
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
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 25/100

OpenLogicProject/OpenLogic#160 · 9 comments · Opened Nov 10, 2017
Make independent of memoir
Open
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#141 · 1 comment · Opened Jul 6, 2017
Provability in PA
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 35/100

OpenLogicProject/OpenLogic#128 · Opened Jun 3, 2017
Explain formulas in SOL
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 48/100

OpenLogicProject/OpenLogic#127 · Opened Jun 2, 2017
Index
Open
- Is something wrong?
LaTeX

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

OpenLogicProject/OpenLogic#84 · Opened Mar 4, 2016
Generate PDF/A output
Open
- Is something wrong?
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
May be free again @rzach claimed this 3952 days ago, and no pull request is open. Open
- Is something wrong?
enhancement

OpenLogicProject/OpenLogic#78 · 1 assignee · Opened Dec 10, 2015
Make the OLP accessible
Open
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
enhancement

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

OpenLogicProject/OpenLogic#66 · Opened Oct 17, 2015
Part on "Intuitionistic Logic"
Open
- Is something wrong?
addition

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

OpenLogicProject/OpenLogic#64 · Opened Oct 17, 2015
Abstract logic satisfaction relation hardcoded
Open
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
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
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

OpenLogicProject/OpenLogic#17 · Opened Jul 10, 2014
open-logic-defer should offer more options
May be free again @rzach claimed this 4696 days ago, and no pull request is open. Open
- Is something wrong?
enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 assignee · Opened Nov 26, 2013
Part on "Model Theory"
Possibly taken A pull request linked to this issue is open or already merged. Open
- Is something wrong?
enhancement

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

OpenLogicProject/OpenLogic#65 · 1 comment · Opened Oct 17, 2015

OpenLogicProject/OpenLogic

Is OpenLogicProject/OpenLogic beginner-friendly?

How to contribute to OpenLogicProject/OpenLogic

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Get new issues in your inbox