header
Lean
Lean ist eine abhängig typisierte Programmiersprache und Theorembeweigerer.