header
Lean
Lean to język programowania z zależnością typowaną i potwierdzający twierdzenia.