Propietario

OpenLogicProject

2 repositorios indexados · Ver en GitHub

OpenLogic
An open-source, customizable intermediate logic textbook

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

TeX · 20 estrellas

Para principiantes Todo

Abierto Todos

Seven localized source corrections found during translation QA Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

OpenLogicProject/OpenLogic#435 · 1 comentario · Abierto el 17/8/2026
Properly support tagging Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

OpenLogicProject/fitch#11 · 1 comentario · Abierto el 25/7/2026
Order-type of models of PA Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

OpenLogicProject/OpenLogic#425 · 1 comentario · Abierto el 18/3/2026
Improve docs Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#390 · Abierto el 30/3/2025
Linting/Spellchecking workflow Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

OpenLogicProject/OpenLogic#389 · 1 comentario · Abierto el 30/3/2025
Can I contribute proofs to theorems whose proof left for exercise? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

OpenLogicProject/OpenLogic#362 · 3 comentarios · Abierto el 10/2/2024
Make printing of line numbers configurable Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

OpenLogicProject/fitch#8 · 1 comentario · Abierto el 15/10/2023
Russel's Paradox typo Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100

OpenLogicProject/OpenLogic#339 · 1 comentario · Abierto el 25/9/2023
hook for local definitions Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

OpenLogicProject/fitch#3 · 1 comentario · Abierto el 19/8/2023
More precise definition of derivations in natural deduction Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 38/100

OpenLogicProject/OpenLogic#300 · 4 comentarios · Abierto el 14/2/2022
Justify intuitionistic logic through the BHK interpretation could be problematic Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#232 · 4 comentarios · 1 reacción · Abierto el 16/4/2020
Provide the reader with full information Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#227 · 1 reacción · Abierto el 24/1/2020
[feature request] Grounding examples for abstract concepts Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#225 · Abierto el 15/1/2020
Turing machine continuity w/ other definitions Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#221 · 1 comentario · Abierto el 28/12/2019
Convert formulas to OLP commands in set-theory Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#205 · Abierto el 29/8/2019
Uniformize reduction, conversion, contraction, equivalence Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 30/100

OpenLogicProject/OpenLogic#190 · Abierto el 28/2/2019
Add proof of fundamental theorem of arithmetic Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

OpenLogicProject/OpenLogic#189 · 3 comentarios · Abierto el 27/2/2019
Proof of Consistency Expansion (First Order Logic - Completeness) Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

OpenLogicProject/OpenLogic#179 · 1 comentario · Abierto el 14/6/2018
Make tableaux into decision procedures when possible Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#178 · 1 comentario · Abierto el 2/4/2018
Make tableaux signed/unsigned per tag Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#173 · 3 comentarios · Abierto el 5/3/2018
Left-align signed formulas in tableaux Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

OpenLogicProject/OpenLogic#172 · Abierto el 27/2/2018
Completeness for modal tableaux Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#171 · 1 comentario · Abierto el 27/2/2018
On verifying that primitive-recursive functions are provably total in PA Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#160 · 9 comentarios · Abierto el 10/11/2017
Make independent of memoir Abierto

LaTeX

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#148 · 14 comentarios · Abierto el 18/7/2017
Figure out how diagrams should work Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

OpenLogicProject/OpenLogic#141 · 1 comentario · Abierto el 6/7/2017
Provability in PA Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#128 · Abierto el 3/6/2017
Explain formulas in SOL Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

OpenLogicProject/OpenLogic#127 · Abierto el 2/6/2017
Index Abierto

LaTeX

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#84 · Abierto el 4/3/2016
Generate PDF/A output Abierto

enhancement LaTeX

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

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

enhancement

OpenLogicProject/OpenLogic#78 · 1 asignado · Abierto el 10/12/2015
Make the OLP accessible Abierto

enhancement LaTeX

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#76 · 1 comentario · Abierto el 25/11/2015
Replace tag backend by tagged package Abierto

enhancement LaTeX

Dificultad 3/5 1-2 días Aptitud para principiantes 50/100

OpenLogicProject/OpenLogic#75 · Abierto el 25/11/2015
Expand chapter on "Lambda Calculus" Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

OpenLogicProject/OpenLogic#66 · Abierto el 17/10/2015
Part on "Model Theory" Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#65 · 1 comentario · Abierto el 17/10/2015
Part on "Intuitionistic Logic" Abierto

addition

Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

OpenLogicProject/OpenLogic#64 · Abierto el 17/10/2015
Abstract logic satisfaction relation hardcoded Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 48/100

OpenLogicProject/OpenLogic#55 · 2 comentarios · Abierto el 20/9/2015
Additions from available (non-CC) material Abierto

enhancement

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

OpenLogicProject/OpenLogic#41 · 5 comentarios · Abierto el 4/5/2015
Glossary & List/Index of symbols Abierto

enhancement LaTeX

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

OpenLogicProject/OpenLogic#40 · 2 comentarios · Abierto el 9/4/2015
More careful object/metalanguage distinction Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

OpenLogicProject/OpenLogic#24 · 1 comentario · Abierto el 10/2/2015
Add provability with open formulas Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

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

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 asignado · Abierto el 26/11/2013

OpenLogicProject

Recibe los nuevos issues en tu correo