↑Programmieren in Gallina

Anhang

• Tabellarischer Vergleich von Coq mit Lean