header
Lean
Lean é uma linguagem de programação de tipagem dependente e provadora de teoremas.