Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

OpenLogicProject/OpenLogic

Inicia sesión para seguir Ver en GitHub

An open-source, customizable intermediate logic textbook

¿Es OpenLogicProject/OpenLogic apto para principiantes?

Hemos visto muy pocos pull requests recientes de colaboradores externos en OpenLogicProject/OpenLogic para saber con qué frecuencia se fusionan. Ahora mismo hay 1 issue apto para principiantes abierto.

Estrellas
1.4k
Forks
289
Issues abiertos para principiantes
1
Issues indexados
43
Lenguaje dominante
TeX
Licencia
CC-BY-4.0
Último push a GitHub
14/8/2026
Última indexación
20/9/2026
Sin guía de contribución
Sin código de conducta
Etiquetas para principiantes
Sin etiquetas para principiantes indexadas
Sin PR fusionados en 30 d

Cómo contribuir a OpenLogicProject/OpenLogic

  1. No hay guía de contribución, así que empieza por el README y por algunos pull requests fusionados hace poco para ver cómo se proponen los cambios.
  2. Tus contribuciones se publicarán bajo la licencia CC-BY-4.0 del proyecto.
  3. Elige el issue abierto apto para principiantes de abajo y comenta que quieres trabajar en él antes de empezar.
Para principiantes Todo
Abierto Todos

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

  • Consolidated translation findings: 14 source-fix groups with an applicable patch
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#436 ·

  • Seven localized source corrections found during translation QA
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#435 · 1 comentario ·

  • Order-type of models of PA
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#425 · 1 comentario ·

  • Improve docs
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#390 ·

  • Linting/Spellchecking workflow
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#389 · 1 comentario ·

  • Can I contribute proofs to theorems whose proof left for exercise?
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#362 · 3 comentarios ·

  • Russel's Paradox typo
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#339 · 1 comentario ·

  • More precise definition of derivations in natural deduction
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#300 · 4 comentarios ·

  • Justify intuitionistic logic through the BHK interpretation could be problematic
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#288 ·

  • Recursive functions and the Church-Turing thesis
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#232 · 4 comentarios · 1 reacción ·

  • Provide the reader with full information
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#227 · 1 reacción ·

  • [feature request] Grounding examples for abstract concepts
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#225 ·

  • Turing machine continuity w/ other definitions
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#221 · 1 comentario ·

  • Convert formulas to OLP commands in set-theory
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#205 ·

  • Uniformize reduction, conversion, contraction, equivalence
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#190 ·

  • Add proof of fundamental theorem of arithmetic
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#189 · 3 comentarios ·

  • Proof of Consistency Expansion (First Order Logic - Completeness)
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#179 · 1 comentario ·

  • Make tableaux into decision procedures when possible
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#178 · 1 comentario ·

  • Make tableaux signed/unsigned per tag
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#176 ·

  • Syntax and Semantics for FOL material has become too technical
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#173 · 3 comentarios ·

  • Left-align signed formulas in tableaux
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#172 ·

  • Completeness for modal tableaux
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#171 · 1 comentario ·

  • On verifying that primitive-recursive functions are provably total in PA
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#160 · 9 comentarios ·

  • Make independent of memoir
    Abierto
    • ¿Algo no está bien?
    LaTeX

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

    OpenLogicProject/OpenLogic#151 ·

  • PDF generation for reviewing changes in pull requests
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#148 · 14 comentarios ·

  • Figure out how diagrams should work
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#141 · 1 comentario ·

  • Provability in PA
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#128 ·

  • Explain formulas in SOL
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#127 ·

  • Index
    Abierto
    • ¿Algo no está bien?
    LaTeX

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

    OpenLogicProject/OpenLogic#84 ·

  • Generate PDF/A output
    Abierto
    • ¿Algo no está bien?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#82 ·

  • Replace token mechanism with one based on glossaries.sty
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    enhancement

    OpenLogicProject/OpenLogic#78 · 1 asignado ·

  • Make the OLP accessible
    Abierto
    • ¿Algo no está bien?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#76 · 1 comentario ·

  • Replace tag backend by tagged package
    Abierto
    • ¿Algo no está bien?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#75 ·

  • Expand chapter on "Lambda Calculus"
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    OpenLogicProject/OpenLogic#66 ·

  • Part on "Intuitionistic Logic"
    Abierto
    • ¿Algo no está bien?
    addition

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

    OpenLogicProject/OpenLogic#64 ·

  • Abstract logic satisfaction relation hardcoded
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#55 · 2 comentarios ·

  • Additions from available (non-CC) material
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    OpenLogicProject/OpenLogic#41 · 5 comentarios ·

  • Glossary & List/Index of symbols
    Abierto
    • ¿Algo no está bien?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#40 · 2 comentarios ·

  • More careful object/metalanguage distinction
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#24 · 1 comentario ·

  • Add provability with open formulas
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#18 ·

  • Alternate Representability in Q for Recursive Functions
    Abierto
    • ¿Algo no está bien?

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

    OpenLogicProject/OpenLogic#17 ·

  • open-logic-defer should offer more options
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    enhancement LaTeX

    OpenLogicProject/OpenLogic#3 · 1 asignado ·

  • Part on "Model Theory"
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?
    enhancement

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

    OpenLogicProject/OpenLogic#65 · 1 comentario ·

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.