header
Lean
Lean è un linguaggio di programmazione tipizzato in modo dipendente e dimostratore di teoremi.