Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
-
Active documents with models
-
OMDoc export of the Archive of Formal Proofs
-
The slides and course notes for the course Artificial Intelligence at Jacobs University
-
The SMGloM modules for elementary algebra.
-
The SMGloM modules for elementary algebra.
-
The SMGloM modules for elementary algebra.
-
Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
-
-
-
-
-
-
-
testing blob encoding
-
The SMGloM modules for calculus
-
The course materials for the course "Computer Architecture and Programming Languages"
-
-
The glossary entries Chevahir did. May be useful at some point.