仓库

leanprover-community 的仓库

2 个支持的仓库

只显示包含已索引 issue 的仓库
leanprover-community/mathlib3Lean

Lean 3's obsolete mathematical components library: please use mathlib4

最近提交 2023年10月30日

 (1,667 stars) (290 forks) (0 个已索引 issue) (0 个开放 good first issue)
leanprover-community/mathlib4Lean

The math library of Lean 4

最近提交 2026年6月7日

 (3,405 stars) (1,381 forks) (0 个已索引 issue) (0 个开放 good first issue)