OpenLogicProject/OpenLogic

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

• Consolidated translation findings: 14 source-fix groups with an applicable patch

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#436 · 2026年9月25日 に作成

• Seven localized source corrections found during translation QA

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#435 · コメント 1 件 · 2026年8月17日 に作成

• Order-type of models of PA

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#425 · コメント 1 件 · 2026年3月18日 に作成

• Improve docs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#390 · 2025年3月30日 に作成

• Linting/Spellchecking workflow

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#389 · コメント 1 件 · 2025年3月30日 に作成

• Can I contribute proofs to theorems whose proof left for exercise?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#362 · コメント 3 件 · 2024年2月10日 に作成

• Russel's Paradox typo

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#339 · コメント 1 件 · 2023年9月25日 に作成

• More precise definition of derivations in natural deduction

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#300 · コメント 4 件 · 2022年2月14日 に作成

• Justify intuitionistic logic through the BHK interpretation could be problematic

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#288 · 2021年11月25日 に作成

• Recursive functions and the Church-Turing thesis

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#232 · コメント 4 件 · リアクション 1 件 · 2020年4月16日 に作成

• Provide the reader with full information

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#227 · リアクション 1 件 · 2020年1月24日 に作成

• [feature request] Grounding examples for abstract concepts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#225 · 2020年1月15日 に作成

• Turing machine continuity w/ other definitions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#221 · コメント 1 件 · 2019年12月28日 に作成

• Convert formulas to OLP commands in set-theory

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#205 · 2019年8月29日 に作成

• Uniformize reduction, conversion, contraction, equivalence

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#190 · 2019年2月28日 に作成

• Add proof of fundamental theorem of arithmetic

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#189 · コメント 3 件 · 2019年2月27日 に作成

• Proof of Consistency Expansion (First Order Logic - Completeness)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#179 · コメント 1 件 · 2018年6月14日 に作成

• Make tableaux into decision procedures when possible

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#178 · コメント 1 件 · 2018年4月2日 に作成

• Make tableaux signed/unsigned per tag

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#176 · 2018年3月27日 に作成

• Syntax and Semantics for FOL material has become too technical

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#173 · コメント 3 件 · 2018年3月5日 に作成

• Left-align signed formulas in tableaux

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#172 · 2018年2月27日 に作成

• Completeness for modal tableaux

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#171 · コメント 1 件 · 2018年2月27日 に作成

• On verifying that primitive-recursive functions are provably total in PA

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#160 · コメント 9 件 · 2017年11月10日 に作成

• Make independent of memoir

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  LaTeX

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

  OpenLogicProject/OpenLogic#151 · 2017年8月21日 に作成

• PDF generation for reviewing changes in pull requests

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#148 · コメント 14 件 · 2017年7月18日 に作成

• Figure out how diagrams should work

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#141 · コメント 1 件 · 2017年7月6日 に作成

• Provability in PA

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#128 · 2017年6月3日 に作成

• Explain formulas in SOL

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#127 · 2017年6月2日 に作成

• Index

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  LaTeX

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

  OpenLogicProject/OpenLogic#84 · 2016年3月4日 に作成

• Generate PDF/A output

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#82 · 2016年1月22日 に作成

• Replace token mechanism with one based on glossaries.sty

  再び着手できるかも @rzach が 3955 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  OpenLogicProject/OpenLogic#78 · 担当者 1 名 · 2015年12月10日 に作成

• Make the OLP accessible

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#76 · コメント 1 件 · 2015年11月25日 に作成

• Replace tag backend by tagged package

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#75 · 2015年11月25日 に作成

• Expand chapter on "Lambda Calculus"

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

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

  OpenLogicProject/OpenLogic#66 · 2015年10月17日 に作成

• Part on "Intuitionistic Logic"

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  addition

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

  OpenLogicProject/OpenLogic#64 · 2015年10月17日 に作成

• Abstract logic satisfaction relation hardcoded

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#55 · コメント 2 件 · 2015年9月20日 に作成

• Additions from available (non-CC) material

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

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

  OpenLogicProject/OpenLogic#41 · コメント 5 件 · 2015年5月4日 に作成

• Glossary & List/Index of symbols

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#40 · コメント 2 件 · 2015年4月9日 に作成

• More careful object/metalanguage distinction

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#24 · コメント 1 件 · 2015年2月10日 に作成

• Add provability with open formulas

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#18 · 2014年7月10日 に作成

• Alternate Representability in Q for Recursive Functions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  OpenLogicProject/OpenLogic#17 · 2014年7月10日 に作成

• open-logic-defer should offer more options

  再び着手できるかも @rzach が 4699 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement LaTeX

  OpenLogicProject/OpenLogic#3 · 担当者 1 名 · 2013年11月26日 に作成

• Part on "Model Theory"

  対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

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

  OpenLogicProject/OpenLogic#65 · コメント 1 件 · 2015年10月17日 に作成