leanprover-community / mathlib4Links

The math library of Lean 4
1,986Updated this week

Alternatives and similar repositories for mathlib4

Users that are interested in mathlib4 are comparing it to the libraries listed below

Sorting: