header
Lean
Lean on riippuvasti tyypitetty ohjelmointikieli ja lauseen todistaja.