The math library of Lean 4
- lean4
Repository Index
59,621 visible repositories in the index
1–2 of 2 · Most stars
A Lean formalization of the Classification of Finite Simple Groups
59,621 visible repositories in the index
1–2 of 2 · Most stars
The math library of Lean 4
A Lean formalization of the Classification of Finite Simple Groups