mathlib4:Lean定理证明器的用户维护库，含编程基础设施与数学内容及相关策略

Star4
0
代码
代码
Issues
Pull Requests
讨论
Wiki
分析
Star4
0

The math library of Lean 4

分支775Tags241

项目介绍

Lean 4 的数学库【此简介由AI生成】

Apache-2.0 Lean33.38 K提交数lean4
定制我的领域
README
393.63 K1.49 K访问 GitHub