header
Lean
Lean — це мова програмування із залежною типізацією та доведення теорем.