Lean 4 programming language and theorem prover
- lean4
- lean
Repository Index
77,852 visible repositories in the index
1–3 of 3 · Most stars
Lean certificates accompanying Navier-Stokes and Euler results
Verifying Signal's security at the machine-code level