Starred repositories
7
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Lean 3's obsolete mathematical components library: please use mathlib4
The "batteries included" extended library for the Lean programming language and theorem prover
An introduction to theorem proving in Lean for the impatient.