Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

OpenLogicProject/OpenLogic

Zum Folgen anmelden Auf GitHub ansehen

An open-source, customizable intermediate logic textbook

Ist OpenLogicProject/OpenLogic einsteigerfreundlich?

Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an OpenLogicProject/OpenLogic gesehen, um zu sagen, wie oft sie gemergt werden. Derzeit ist 1 einsteigerfreundliches Issue offen.

Sterne
1.4k
Forks
289
Offene Anfänger-Issues
1
Indexierte Issues
43
Vorherrschende Sprache
TeX
Lizenz
CC-BY-4.0
Letzter GitHub-Push
14.8.2026
Zuletzt indexiert
20.9.2026
Kein Beitragsleitfaden
Kein Verhaltenskodex
Anfänger-Labels
Keine Anfänger-Labels indexiert
Keine gemergten PRs in 30 T.

So tragen Sie zu OpenLogicProject/OpenLogic bei

  1. Es gibt keinen Contributing Guide. Beginnen Sie mit der README und einigen kürzlich gemergten Pull Requests, um zu sehen, wie Änderungen eingereicht werden.
  2. Ihre Beiträge werden unter der CC-BY-4.0-Lizenz des Projekts veröffentlicht.
  3. Wählen Sie das offene einsteigerfreundliche Issue unten und schreiben Sie vor dem Start einen Kommentar, dass Sie es übernehmen möchten.
Einsteigerfreundlich Alles
Offen Alle

Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen

  • Consolidated translation findings: 14 source-fix groups with an applicable patch
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 50/100

    OpenLogicProject/OpenLogic#436 ·

  • Seven localized source corrections found during translation QA
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

    OpenLogicProject/OpenLogic#435 · 1 Kommentar ·

  • Order-type of models of PA
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    OpenLogicProject/OpenLogic#425 · 1 Kommentar ·

  • Improve docs
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#390 ·

  • Linting/Spellchecking workflow
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100

    OpenLogicProject/OpenLogic#389 · 1 Kommentar ·

  • Can I contribute proofs to theorems whose proof left for exercise?
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    OpenLogicProject/OpenLogic#362 · 3 Kommentare ·

  • Russel's Paradox typo
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 65/100

    OpenLogicProject/OpenLogic#339 · 1 Kommentar ·

  • More precise definition of derivations in natural deduction
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 38/100

    OpenLogicProject/OpenLogic#300 · 4 Kommentare ·

  • Justify intuitionistic logic through the BHK interpretation could be problematic
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#288 ·

  • Recursive functions and the Church-Turing thesis
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#232 · 4 Kommentare · 1 Reaktion ·

  • Provide the reader with full information
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#227 · 1 Reaktion ·

  • [feature request] Grounding examples for abstract concepts
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#225 ·

  • Turing machine continuity w/ other definitions
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#221 · 1 Kommentar ·

  • Convert formulas to OLP commands in set-theory
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#205 ·

  • Uniformize reduction, conversion, contraction, equivalence
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 30/100

    OpenLogicProject/OpenLogic#190 ·

  • Add proof of fundamental theorem of arithmetic
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    OpenLogicProject/OpenLogic#189 · 3 Kommentare ·

  • Proof of Consistency Expansion (First Order Logic - Completeness)
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    OpenLogicProject/OpenLogic#179 · 1 Kommentar ·

  • Make tableaux into decision procedures when possible
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#178 · 1 Kommentar ·

  • Make tableaux signed/unsigned per tag
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#176 ·

  • Syntax and Semantics for FOL material has become too technical
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#173 · 3 Kommentare ·

  • Left-align signed formulas in tableaux
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    OpenLogicProject/OpenLogic#172 ·

  • Completeness for modal tableaux
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#171 · 1 Kommentar ·

  • On verifying that primitive-recursive functions are provably total in PA
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#160 · 9 Kommentare ·

  • Make independent of memoir
    Offen
    • Stimmt etwas nicht?
    LaTeX

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#151 ·

  • PDF generation for reviewing changes in pull requests
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#148 · 14 Kommentare ·

  • Figure out how diagrams should work
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    OpenLogicProject/OpenLogic#141 · 1 Kommentar ·

  • Provability in PA
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#128 ·

  • Explain formulas in SOL
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

    OpenLogicProject/OpenLogic#127 ·

  • Index
    Offen
    • Stimmt etwas nicht?
    LaTeX

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#84 ·

  • Generate PDF/A output
    Offen
    • Stimmt etwas nicht?
    enhancement LaTeX

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#82 ·

  • Replace token mechanism with one based on glossaries.sty
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    enhancement

    OpenLogicProject/OpenLogic#78 · 1 zugewiesene Person ·

  • Make the OLP accessible
    Offen
    • Stimmt etwas nicht?
    enhancement LaTeX

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#76 · 1 Kommentar ·

  • Replace tag backend by tagged package
    Offen
    • Stimmt etwas nicht?
    enhancement LaTeX

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 50/100

    OpenLogicProject/OpenLogic#75 ·

  • Expand chapter on "Lambda Calculus"
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    OpenLogicProject/OpenLogic#66 ·

  • Part on "Intuitionistic Logic"
    Offen
    • Stimmt etwas nicht?
    addition

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    OpenLogicProject/OpenLogic#64 ·

  • Abstract logic satisfaction relation hardcoded
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 48/100

    OpenLogicProject/OpenLogic#55 · 2 Kommentare ·

  • Additions from available (non-CC) material
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#41 · 5 Kommentare ·

  • Glossary & List/Index of symbols
    Offen
    • Stimmt etwas nicht?
    enhancement LaTeX

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#40 · 2 Kommentare ·

  • More careful object/metalanguage distinction
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    OpenLogicProject/OpenLogic#24 · 1 Kommentar ·

  • Add provability with open formulas
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    OpenLogicProject/OpenLogic#18 ·

  • Alternate Representability in Q for Recursive Functions
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    OpenLogicProject/OpenLogic#17 ·

  • open-logic-defer should offer more options
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    enhancement LaTeX

    OpenLogicProject/OpenLogic#3 · 1 zugewiesene Person ·

  • Part on "Model Theory"
    Evtl. vergeben Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    OpenLogicProject/OpenLogic#65 · 1 Kommentar ·

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.