Explore projects
-
Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.
Updated -
Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)
Updated -
-
Updated
-
-
-
Updated