Explore projects
-
-
neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.
Updated -
Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)
Updated -
Updated
-
Updated
-
Updated
-
This experimental project aims to build a proof assistant for propositional logic inside another proof assistant: Coq. The main idea is to implement natural deduction rules from the GLoIn-Lecture directly in Coq in order to have a suitable environment to prove stuff in Fitch-Style inside of Coq.
Updated -
-
A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind
Updated -
Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX
Updated -