header
Lean
Lean — это язык программирования с зависимой типизацией и доказательством теорем.