leanprover-community/mathlib4

The math library of Lean 4

语言：Lean · GitHub 星标：4,437 · Fork：1,824

话题：lean4

在 GitHub 上查看原仓库