Lean 4 programming language and theorem prover
- lean4
- lean
Repository Index
64,764 visible repositories in the index
1–2 of 2 · Most stars
The math library of Lean 4
- lean4
64,764 visible repositories in the index
1–2 of 2 · Most stars
Lean 4 programming language and theorem prover
The math library of Lean 4