Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
OMDoc export of the Archive of Formal Proofs
-
OMDoc export of the theories included in the Isabelle distribution
-
-
-
The IWGS Training Problems
-
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
-
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
-
-
Slides and notes for talks held by Michael Kohlhase
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The Course General ICT at Jacobs University
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
Graph Theory Modules in SMGloM
-
The slides and course notes of the course Computational Logic.
-
The slides and course notes of the course Computational NL Semantics.
-
Elementary set theory for the SMGloM
-