Propriétaire

OpenLogicProject

2 dépôts indexés · Voir sur GitHub

OpenLogic
An open-source, customizable intermediate logic textbook

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

TeX · 20 étoiles

Accessible aux débutants Tout

Ouverte Toutes

Seven localized source corrections found during translation QA Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 68/100

OpenLogicProject/OpenLogic#435 · 1 commentaire · Ouverte le 17/8/2026
Properly support tagging Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

OpenLogicProject/fitch#11 · 1 commentaire · Ouverte le 25/7/2026
Order-type of models of PA Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

OpenLogicProject/OpenLogic#425 · 1 commentaire · Ouverte le 18/3/2026
Improve docs Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#390 · Ouverte le 30/3/2025
Linting/Spellchecking workflow Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

OpenLogicProject/OpenLogic#389 · 1 commentaire · Ouverte le 30/3/2025
Can I contribute proofs to theorems whose proof left for exercise? Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

OpenLogicProject/OpenLogic#362 · 3 commentaires · Ouverte le 10/2/2024
Make printing of line numbers configurable Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

OpenLogicProject/fitch#8 · 1 commentaire · Ouverte le 15/10/2023
Russel's Paradox typo Ouverte

Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100

OpenLogicProject/OpenLogic#339 · 1 commentaire · Ouverte le 25/9/2023
hook for local definitions Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

OpenLogicProject/fitch#3 · 1 commentaire · Ouverte le 19/8/2023
More precise definition of derivations in natural deduction Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 38/100

OpenLogicProject/OpenLogic#300 · 4 commentaires · Ouverte le 14/2/2022
Justify intuitionistic logic through the BHK interpretation could be problematic Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#288 · Ouverte le 25/11/2021
Recursive functions and the Church-Turing thesis Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#232 · 4 commentaires · 1 réaction · Ouverte le 16/4/2020
Provide the reader with full information Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#227 · 1 réaction · Ouverte le 24/1/2020
[feature request] Grounding examples for abstract concepts Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#225 · Ouverte le 15/1/2020
Turing machine continuity w/ other definitions Ouverte

Difficulté 2/5 1-3 heures Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#221 · 1 commentaire · Ouverte le 28/12/2019
Convert formulas to OLP commands in set-theory Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#205 · Ouverte le 29/8/2019
Uniformize reduction, conversion, contraction, equivalence Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 30/100

OpenLogicProject/OpenLogic#190 · Ouverte le 28/2/2019
Add proof of fundamental theorem of arithmetic Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

OpenLogicProject/OpenLogic#189 · 3 commentaires · Ouverte le 27/2/2019
Proof of Consistency Expansion (First Order Logic - Completeness) Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

OpenLogicProject/OpenLogic#179 · 1 commentaire · Ouverte le 14/6/2018
Make tableaux into decision procedures when possible Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#178 · 1 commentaire · Ouverte le 2/4/2018
Make tableaux signed/unsigned per tag Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#176 · Ouverte le 27/3/2018
Syntax and Semantics for FOL material has become too technical Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#173 · 3 commentaires · Ouverte le 5/3/2018
Left-align signed formulas in tableaux Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

OpenLogicProject/OpenLogic#172 · Ouverte le 27/2/2018
Completeness for modal tableaux Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#171 · 1 commentaire · Ouverte le 27/2/2018
On verifying that primitive-recursive functions are provably total in PA Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#160 · 9 commentaires · Ouverte le 10/11/2017
Make independent of memoir Ouverte

LaTeX

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#151 · Ouverte le 21/8/2017
PDF generation for reviewing changes in pull requests Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#148 · 14 commentaires · Ouverte le 18/7/2017
Figure out how diagrams should work Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

OpenLogicProject/OpenLogic#141 · 1 commentaire · Ouverte le 6/7/2017
Provability in PA Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#128 · Ouverte le 3/6/2017
Explain formulas in SOL Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

OpenLogicProject/OpenLogic#127 · Ouverte le 2/6/2017
Index Ouverte

LaTeX

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#84 · Ouverte le 4/3/2016
Generate PDF/A output Ouverte

enhancement LaTeX

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#82 · Ouverte le 22/1/2016
Replace token mechanism with one based on glossaries.sty Ouverte

enhancement

OpenLogicProject/OpenLogic#78 · 1 personne assignée · Ouverte le 10/12/2015
Make the OLP accessible Ouverte

enhancement LaTeX

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#76 · 1 commentaire · Ouverte le 25/11/2015
Replace tag backend by tagged package Ouverte

enhancement LaTeX

Difficulté 3/5 1-2 jours Accessibilité débutants 50/100

OpenLogicProject/OpenLogic#75 · Ouverte le 25/11/2015
Expand chapter on "Lambda Calculus" Ouverte

enhancement

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

OpenLogicProject/OpenLogic#66 · Ouverte le 17/10/2015
Part on "Model Theory" Ouverte

enhancement

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#65 · 1 commentaire · Ouverte le 17/10/2015
Part on "Intuitionistic Logic" Ouverte

addition

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

OpenLogicProject/OpenLogic#64 · Ouverte le 17/10/2015
Abstract logic satisfaction relation hardcoded Ouverte

Difficulté 2/5 1-3 heures Accessibilité débutants 48/100

OpenLogicProject/OpenLogic#55 · 2 commentaires · Ouverte le 20/9/2015
Additions from available (non-CC) material Ouverte

enhancement

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#41 · 5 commentaires · Ouverte le 4/5/2015
Glossary & List/Index of symbols Ouverte

enhancement LaTeX

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

OpenLogicProject/OpenLogic#40 · 2 commentaires · Ouverte le 9/4/2015
More careful object/metalanguage distinction Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

OpenLogicProject/OpenLogic#24 · 1 commentaire · Ouverte le 10/2/2015
Add provability with open formulas Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

OpenLogicProject/OpenLogic#18 · Ouverte le 10/7/2014
Alternate Representability in Q for Recursive Functions Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

OpenLogicProject/OpenLogic#17 · Ouverte le 10/7/2014
open-logic-defer should offer more options Ouverte

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 personne assignée · Ouverte le 26/11/2013

OpenLogicProject

Recevez les nouvelles issues par e-mail