Explore projects
-
-
Updated
-
Lehrstuhl für Informatik 4 (Systemsoftware) / micro-replication / mirador
GNU Affero General Public License v3.0Updated -
Maximilian / sp-quiz
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalSammlung von Fragen zu SP2 mit Kommentaren.
Updated -
Updated
-
Updated
-
Max Ole Elliger / A Proof Assistant inside Coq
GNU General Public License v3.0 or laterThis 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 -
Updated
-
Updated
-
-
My lecture notes for the TV-A lecture which is about relativistic quantum mechanics, leading to QFT.
Updated -
Updated
-
Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)
Updated -
Updated
-
Git repository tracking the bibliography SVN repository (https://www4.cs.fau.de/i4svn/bib/).
Updated -
-
Stefan Gehr / arduino-block-course
GNU Affero General Public License v3.0Updated