header
Lean
Lean est un langage de programmation à typage dépendant et un prouveur de théorèmes.