Lean

Tutorials

• Programming in Lean

Papers

• The Lean Theorem Prover (system description)