Skip to content
On this page

Lean

Open source theorem prover and programming language being developed at Microsoft Research.

Natural number game, Mathematics in Lean tutorial, Functional Programming in Lean & Theorem Proving in Lean 4 are great.