OpenLogicProject

可能已有人在做的 issue 排在最後。 全部依時間排序

• Empty para structures before and after proofs

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 38/100

  OpenLogicProject/fitch#13 · 2026年10月4日 建立

• 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日 建立

• Properly support tagging

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 35/100

  OpenLogicProject/fitch#11 · 1 則留言 · 2026年7月25日 建立

• Order-type of models of PA

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 30/100

  OpenLogicProject/OpenLogic#425 · 1 則留言 · 2026年3月18日 建立

• Improve docs

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 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 一週以上 新手友好度 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 一週以上 新手友好度 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 個 reaction · 2020年4月16日 建立

• Provide the reader with full information

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  OpenLogicProject/OpenLogic#227 · 1 個 reaction · 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 一週以上 新手友好度 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 一週以上 新手友好度 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 一週以上 新手友好度 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 一週以上 新手友好度 25/100

  OpenLogicProject/OpenLogic#148 · 14 則留言 · 2017年7月18日 建立

• Figure out how diagrams should work

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 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 於 3953 天前認領，目前沒有進行中的 PR。 未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  OpenLogicProject/OpenLogic#78 · 已指派 1 人 · 2015年12月10日 建立

• Make the OLP accessible

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement LaTeX

  難度 5/5 一週以上 新手友好度 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 一週以上 新手友好度 15/100

  OpenLogicProject/OpenLogic#66 · 2015年10月17日 建立

• Part on "Intuitionistic Logic"

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  addition

  難度 5/5 一週以上 新手友好度 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 一週以上 新手友好度 25/100

  OpenLogicProject/OpenLogic#40 · 2 則留言 · 2015年4月9日 建立

• More careful object/metalanguage distinction

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 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 一週以上 新手友好度 20/100

  OpenLogicProject/OpenLogic#17 · 2014年7月10日 建立

• open-logic-defer should offer more options

  可能重新可做 @rzach 於 4698 天前認領，目前沒有進行中的 PR。 未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement LaTeX

  OpenLogicProject/OpenLogic#3 · 已指派 1 人 · 2013年11月26日 建立

• Part on "Model Theory"

  可能已有人在做 關聯的 PR 仍在進行中或已合併。 未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  難度 5/5 一週以上 新手友好度 25/100

  OpenLogicProject/OpenLogic#65 · 1 則留言 · 2015年10月17日 建立