Programmieren in Gallina

Inhaltsverzeichnis

1. Einstieg
2. Abhängige Typen
3. Logik
4. Taktiken
5. Gleichheit
6. Elementare Algebra
7. Induktive Typen
8. Anhang