The repository host gives no description.
Repository Index
71,372 visible repositories in the index
1–5 of 5 · Most stars
The math library of Lean 4
- lean4
The repository host gives no description.
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project