@@ -27,7 +27,7 @@ Die Files bauen teilweise inhaltlich aufeinander auf, sodass es sinnvoll ist, di
Dieses Projekt benötigt keine detailreiche Installationsanleitung, man kann es einfach auf [Gitlab](https://gitlab.cs.fau.de/oc59yqul/coq-exercises) klonen:
