daniel-vainsencher / mathlib4 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/mathlib4
The math library of Lean 4
Home Page: https://leanprover-community.github.io/mathlib4_docs
License: Apache License 2.0