Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

オーナー

OpenLogicProject

ログインしてフォロー

索引済みのリポジトリ 2 件 · GitHub で見る

初心者向け すべて
オープン すべて

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Empty para structures before and after proofs
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 38/100

    OpenLogicProject/fitch#13 ·

  • Consolidated translation findings: 14 source-fix groups with an applicable patch
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 50/100

    OpenLogicProject/OpenLogic#436 ·

  • Seven localized source corrections found during translation QA
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 68/100

    OpenLogicProject/OpenLogic#435 · コメント 1 件 ·

  • Properly support tagging
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    OpenLogicProject/fitch#11 · コメント 1 件 ·

  • Order-type of models of PA
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 30/100

    OpenLogicProject/OpenLogic#425 · コメント 1 件 ·

  • Improve docs
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#390 ·

  • Linting/Spellchecking workflow
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 30/100

    OpenLogicProject/OpenLogic#389 · コメント 1 件 ·

  • Can I contribute proofs to theorems whose proof left for exercise?
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    OpenLogicProject/OpenLogic#362 · コメント 3 件 ·

  • Russel's Paradox typo
    オープン
    • 何か問題がありますか？

    難易度 1/5 1時間未満 初心者へのやさしさ 65/100

    OpenLogicProject/OpenLogic#339 · コメント 1 件 ·

  • More precise definition of derivations in natural deduction
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 38/100

    OpenLogicProject/OpenLogic#300 · コメント 4 件 ·

  • Justify intuitionistic logic through the BHK interpretation could be problematic
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#288 ·

  • Recursive functions and the Church-Turing thesis
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#232 · コメント 4 件 · リアクション 1 件 ·

  • Provide the reader with full information
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#227 · リアクション 1 件 ·

  • [feature request] Grounding examples for abstract concepts
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#225 ·

  • Turing machine continuity w/ other definitions
    オープン
    • 何か問題がありますか？

    難易度 2/5 1〜3時間 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#221 · コメント 1 件 ·

  • Convert formulas to OLP commands in set-theory
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#205 ·

  • Uniformize reduction, conversion, contraction, equivalence
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 30/100

    OpenLogicProject/OpenLogic#190 ·

  • Add proof of fundamental theorem of arithmetic
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    OpenLogicProject/OpenLogic#189 · コメント 3 件 ·

  • Proof of Consistency Expansion (First Order Logic - Completeness)
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    OpenLogicProject/OpenLogic#179 · コメント 1 件 ·

  • Make tableaux into decision procedures when possible
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#178 · コメント 1 件 ·

  • Make tableaux signed/unsigned per tag
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#176 ·

  • Syntax and Semantics for FOL material has become too technical
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#173 · コメント 3 件 ·

  • Left-align signed formulas in tableaux
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    OpenLogicProject/OpenLogic#172 ·

  • Completeness for modal tableaux
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#171 · コメント 1 件 ·

  • On verifying that primitive-recursive functions are provably total in PA
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#160 · コメント 9 件 ·

  • Make independent of memoir
    オープン
    • 何か問題がありますか？
    LaTeX

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#151 ·

  • PDF generation for reviewing changes in pull requests
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#148 · コメント 14 件 ·

  • Figure out how diagrams should work
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    OpenLogicProject/OpenLogic#141 · コメント 1 件 ·

  • Provability in PA
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#128 ·

  • Explain formulas in SOL
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 48/100

    OpenLogicProject/OpenLogic#127 ·

  • Index
    オープン
    • 何か問題がありますか？
    LaTeX

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#84 ·

  • Generate PDF/A output
    オープン
    • 何か問題がありますか？
    enhancement LaTeX

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#82 ·

  • Replace token mechanism with one based on glossaries.sty
    再び着手できるかも オープン
    • 何か問題がありますか？
    enhancement

    OpenLogicProject/OpenLogic#78 · 担当者 1 名 ·

  • Make the OLP accessible
    オープン
    • 何か問題がありますか？
    enhancement LaTeX

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#76 · コメント 1 件 ·

  • Replace tag backend by tagged package
    オープン
    • 何か問題がありますか？
    enhancement LaTeX

    難易度 3/5 1〜2日 初心者へのやさしさ 50/100

    OpenLogicProject/OpenLogic#75 ·

  • Expand chapter on "Lambda Calculus"
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 15/100

    OpenLogicProject/OpenLogic#66 ·

  • Part on "Intuitionistic Logic"
    オープン
    • 何か問題がありますか？
    addition

    難易度 5/5 1週間以上 初心者へのやさしさ 15/100

    OpenLogicProject/OpenLogic#64 ·

  • Abstract logic satisfaction relation hardcoded
    オープン
    • 何か問題がありますか？

    難易度 2/5 1〜3時間 初心者へのやさしさ 48/100

    OpenLogicProject/OpenLogic#55 · コメント 2 件 ·

  • Additions from available (non-CC) material
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#41 · コメント 5 件 ·

  • Glossary & List/Index of symbols
    オープン
    • 何か問題がありますか？
    enhancement LaTeX

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#40 · コメント 2 件 ·

  • More careful object/metalanguage distinction
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    OpenLogicProject/OpenLogic#24 · コメント 1 件 ·

  • Add provability with open formulas
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    OpenLogicProject/OpenLogic#18 ·

  • Alternate Representability in Q for Recursive Functions
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    OpenLogicProject/OpenLogic#17 ·

  • open-logic-defer should offer more options
    再び着手できるかも オープン
    • 何か問題がありますか？
    enhancement LaTeX

    OpenLogicProject/OpenLogic#3 · 担当者 1 名 ·

  • Part on "Model Theory"
    対応中かも オープン
    • 何か問題がありますか？
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    OpenLogicProject/OpenLogic#65 · コメント 1 件 ·

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。