rocq-prover/stdlib
Stdlib for the Rocq Prover
rocq-prover/stdlib 对新手友好吗？
近期外部贡献者向 rocq-prover/stdlib 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前有 1 个适合新手的 issue 开放。
- 星标
- 42
- 派生
- 40
- 开放的新手 issue
- 1
- 已索引 issue
- 87
- 平均合并
- 20 小时 23 分钟
- 30 天内合并 PR
- 2
- 主要语言
- Rocq Prover
- 许可证
- LGPL-2.1
- 最近 GitHub push
- 2026年9月25日
- 最近索引
- 2026年9月19日
- 贡献指南
- 贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
如何为 rocq-prover/stdlib 做贡献
- 先读贡献指南：它说明了维护者希望如何提出、测试和评审改动。
- 你的贡献将以该项目的 LGPL-2.1 许可证发布。
- 选下方那个开放的新手友好 issue，开始之前先留言说明你想认领它。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#293 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#243 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#242 · 3 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 25/100
rocq-prover/stdlib#241 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#230 · 11 条评论 ·
-
难度 4/5 3-5 天 新手友好度 42/100
rocq-prover/stdlib#225 · 2 条评论 ·
-
难度 4/5 3-5 天 新手友好度 42/100
rocq-prover/stdlib#200 · 2 条评论 ·
-
难度 3/5 1-2 天 新手友好度 42/100
rocq-prover/stdlib#195 · 2 条评论 ·
-
难度 4/5 3-5 天 新手友好度 25/100
rocq-prover/stdlib#168 · 4 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#165 · 1 个 reaction ·
-
难度 4/5 3-5 天 新手友好度 25/100
rocq-prover/stdlib#153 · 10 条评论 ·
-
难度 4/5 3-5 天 新手友好度 30/100
rocq-prover/stdlib#148 · 3 条评论 ·
-
难度 4/5 3-5 天 新手友好度 25/100
rocq-prover/stdlib#145 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 55/100
rocq-prover/stdlib#142 ·
-
难度 3/5 1-2 天 新手友好度 25/100
rocq-prover/stdlib#140 ·
-
难度 1/5 1 小时以内 新手友好度 50/100
rocq-prover/stdlib#125 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#116 · 2 条评论 ·
-
难度 3/5 1-2 天 新手友好度 42/100
rocq-prover/stdlib#106 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#3 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#4 ·
-
难度 3/5 1-2 天 新手友好度 35/100
rocq-prover/stdlib#5 · 5 条评论 ·
-
难度 4/5 3-5 天 新手友好度 25/100
rocq-prover/stdlib#6 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#7 · 18 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#8 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#9 · 1 条评论 ·
-
难度 1/5 1 小时以内 新手友好度 35/100
rocq-prover/stdlib#10 · 3 条评论 ·
-
难度 3/5 1-2 天 新手友好度 35/100
rocq-prover/stdlib#11 · 8 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#12 · 6 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
rocq-prover/stdlib#14 · 3 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#15 · 1 条评论 ·
-
难度 3/5 1-2 天 新手友好度 35/100
rocq-prover/stdlib#16 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#17 · 8 条评论 ·
-
The Standard Library should not be adding transitivity and symmetry hints to `core`可能重新可做 关联的 PR 已关闭且未合并。 未关闭
难度 4/5 3-5 天 新手友好度 38/100
rocq-prover/stdlib#18 · 3 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#20 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#21 · 7 条评论 ·
-
难度 3/5 1-2 天 新手友好度 45/100
rocq-prover/stdlib#22 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 35/100
rocq-prover/stdlib#23 · 1 条评论 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#24 ·
-
incl_dec and NoDup_dec should be Defined and not Qed可能重新可做 关联的 PR 已关闭且未合并。 未关闭
难度 1/5 1-3 小时 新手友好度 65/100
rocq-prover/stdlib#25 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#27 · 4 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 35/100
rocq-prover/stdlib#28 · 3 条评论 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 20/100
rocq-prover/stdlib#29 · 1 条评论 · 1 个 reaction ·
-
难度 4/5 3-5 天 新手友好度 35/100
rocq-prover/stdlib#30 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
rocq-prover/stdlib#31 ·
-
难度 5/5 一周以上 新手友好度 25/100
rocq-prover/stdlib#32 · 17 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
rocq-prover/stdlib#33 · 10 条评论 ·
-
难度 3/5 1-2 天 新手友好度 35/100
rocq-prover/stdlib#34 · 4 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
rocq-prover/stdlib#35 · 2 条评论 ·
-
难度 5/5 一周以上 新手友好度 20/100
rocq-prover/stdlib#37 · 2 条评论 · 1 个 reaction ·
-
难度 2/5 1-3 小时 新手友好度 38/100
rocq-prover/stdlib#38 · 9 条评论 ·