leanprover/lean-eval
在 GitHub 查看Comparator-based Lean formal mathematics eval
- 星标
- 46
- 派生
- 39
- 开放的新手 issue
- 0
- 已索引 issue
- 8
- 平均合并
- 54 分钟
- 30 天内合并 PR
- 80
- 主要语言
- Lean
- 许可证
- Apache-2.0
- 最近 GitHub push
- 2026年9月16日
- 最近索引
- 2026年9月20日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
-
难度 5/5 一周以上 新手友好度 35/100
leanprover/lean-eval#642 ·
-
难度 3/5 1-2 天 新手友好度 64/100
leanprover/lean-eval#637 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 20/100
leanprover/lean-eval#634 ·
-
难度 5/5 一周以上 新手友好度 35/100
leanprover/lean-eval#551 ·
-
难度 4/5 3-5 天 新手友好度 45/100
leanprover/lean-eval#533 · 5 条评论 · 3 个 reaction ·
-
难度 4/5 3-5 天 新手友好度 68/100
leanprover/lean-eval#518 · 2 条评论 · 1 个 reaction ·
-
难度 3/5 1-2 天 新手友好度 68/100
leanprover/lean-eval#511 ·
-
难度 4/5 3-5 天 新手友好度 48/100
leanprover/lean-eval#421 ·