header
Lean
Lean es un lenguaje de programación de tipo dependiente y un demostrador de teoremas.