G
A collection of formalized statements of conjectures in Lean.
bench-v1-lean4.27.0Leanformal-mathematicslean4
更新于 2 小时前Apache-2.0
02 / Repository index
按平台、分类、语言与许可组合筛选；每条记录都能回到仓库原文核对。
1 records · filtered
A collection of formalized statements of conjectures in Lean.