leanprover-community
Githubhttps://leanprover-community.github.io/

代码库

leanprover-community/mathlib4
3.7k
The math library of Lean 4
Lean
lean4