The repository host gives no description.
Repository Index
59,621 visible repositories in the index
1–6 of 6 · Most stars
Lean 4 programming language and theorem prover
- lean4
- lean
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