Lean #

Lean is a theorem prover and programming language that can be used to formalise mathematics and use computers to prove theorems.

  • A course on formalising mathematics using Lean.
  • Wikipedia.
  • A book teaching functional programming using Lean.