OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
OpenLogicProject/OpenLogic 对新手友好吗?
近期外部贡献者向 OpenLogicProject/OpenLogic 提交的 PR 还不够多,暂时无法判断它们被合并的比例。 目前有 1 个适合新手的 issue 开放。
- 星标
- 1.4k
- 派生
- 289
- 开放的新手 issue
- 1
- 已索引 issue
- 43
- 主要语言
- TeX
- 许可证
- CC-BY-4.0
- 最近 GitHub push
- 2026年8月14日
- 最近索引
- 2026年9月20日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
- PR 合并指标
- 30 天内没有已合并 PR
如何为 OpenLogicProject/OpenLogic 做贡献
- 这个项目没有贡献指南,可以先读 README,再看几个最近合并的 PR,了解改动是怎么提交的。
- 你的贡献将以该项目的 CC-BY-4.0 许可证发布。
- 选下方那个开放的新手友好 issue,开始之前先留言说明你想认领它。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
难度 4/5 3-5 天 新手友好度 50/100
OpenLogicProject/OpenLogic#436 ·
-
难度 3/5 1-2 天 新手友好度 68/100
OpenLogicProject/OpenLogic#435 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 30/100
OpenLogicProject/OpenLogic#425 · 1 条评论 ·
-
Improve docs未关闭
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#390 ·
-
难度 4/5 3-5 天 新手友好度 30/100
OpenLogicProject/OpenLogic#389 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 20/100
OpenLogicProject/OpenLogic#362 · 3 条评论 ·
-
难度 1/5 1 小时以内 新手友好度 65/100
OpenLogicProject/OpenLogic#339 · 1 条评论 ·
-
难度 3/5 1-2 天 新手友好度 38/100
OpenLogicProject/OpenLogic#300 · 4 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#288 ·
-
难度 4/5 3-5 天 新手友好度 25/100
OpenLogicProject/OpenLogic#232 · 4 条评论 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#227 · 1 个 reaction ·
-
难度 3/5 1-2 天 新手友好度 35/100
OpenLogicProject/OpenLogic#225 ·
-
难度 2/5 1-3 小时 新手友好度 35/100
OpenLogicProject/OpenLogic#221 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
OpenLogicProject/OpenLogic#205 ·
-
难度 3/5 1-2 天 新手友好度 30/100
OpenLogicProject/OpenLogic#190 ·
-
难度 3/5 1-2 天 新手友好度 45/100
OpenLogicProject/OpenLogic#189 · 3 条评论 ·
-
难度 3/5 1-2 天 新手友好度 45/100
OpenLogicProject/OpenLogic#179 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#178 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
OpenLogicProject/OpenLogic#176 ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#173 · 3 条评论 ·
-
难度 3/5 1-2 天 新手友好度 45/100
OpenLogicProject/OpenLogic#172 ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#171 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 25/100
OpenLogicProject/OpenLogic#160 · 9 条评论 ·
-
LaTeX
难度 4/5 3-5 天 新手友好度 35/100
OpenLogicProject/OpenLogic#151 ·
-
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#148 · 14 条评论 ·
-
难度 5/5 一周以上 新手友好度 20/100
OpenLogicProject/OpenLogic#141 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
OpenLogicProject/OpenLogic#128 ·
-
难度 3/5 1-2 天 新手友好度 48/100
OpenLogicProject/OpenLogic#127 ·
-
Index未关闭LaTeX
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement LaTeX
难度 4/5 3-5 天 新手友好度 35/100
-
Replace token mechanism with one based on glossaries.sty可能重新可做 @rzach 于 3952 天前认领,目前没有进行中的 PR。 未关闭enhancement
OpenLogicProject/OpenLogic#78 · 已指派 1 人 ·
-
enhancement LaTeX
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#76 · 1 条评论 ·
-
enhancement LaTeX
难度 3/5 1-2 天 新手友好度 50/100
-
enhancement
难度 5/5 一周以上 新手友好度 15/100
-
addition
难度 5/5 一周以上 新手友好度 15/100
-
难度 2/5 1-3 小时 新手友好度 48/100
OpenLogicProject/OpenLogic#55 · 2 条评论 ·
-
enhancement
难度 4/5 3-5 天 新手友好度 35/100
OpenLogicProject/OpenLogic#41 · 5 条评论 ·
-
enhancement LaTeX
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#40 · 2 条评论 ·
-
难度 5/5 一周以上 新手友好度 20/100
OpenLogicProject/OpenLogic#24 · 1 条评论 ·
-
难度 3/5 1-2 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 20/100
-
open-logic-defer should offer more options可能重新可做 @rzach 于 4696 天前认领,目前没有进行中的 PR。 未关闭enhancement LaTeX
OpenLogicProject/OpenLogic#3 · 已指派 1 人 ·
-
Part on "Model Theory"可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭enhancement
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#65 · 1 条评论 ·