The repository host gives no description.
Repository Index
57,637 visible repositories in the index
1–5 of 5 · Most stars
Lean 4 programming language and theorem prover
- lean4
- lean
The repository host gives no description.
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project