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