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 FAU Erlangen-Nürnberg
-
-
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
-