Lean #
Lean is a theorem prover and programming language that can be used to formalise mathematics and use computers to prove theorems.
Links and resources #
- A course on formalising mathematics using Lean.
- Wikipedia.
- A book teaching functional programming using Lean.