header
Lean
Lean adalah bahasa pemrograman dan pemuji teorema yang diketik secara bergantung.