header
Lean
Lean este un limbaj de programare și un tester de teoreme cu tip dependent.