header
Lean
Lean je závislý programovací jazyk a dokazovač teorémů.