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 于 3954 天前认领，目前没有进行中的 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日 创建