header
Lean
Lean is een afhankelijk getypeerde programmeertaal en stellingbewijzer.