leanprover-community / mathlib4

Lean 4 的数学库

仓库 Star

4,437总榜 #13,766

Fork

1,824

最近推送

今天更新

仓库创建

2021 年创建