Lean
Programming Language and Theorem Prover — Lean
What is Lean - Lean Manual
Functional Programming in Lean - Functional Programming in Lean