Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
MiKoMH / ACS
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
0updated -
MaMoReD / activedocs
Active documents with models
0updated -
Isabelle / AFP
OMDoc export of the Archive of Formal Proofs
0updated -
MiKoMH / AI
The slides and course notes for the course Artificial Intelligence at Jacobs University
0updated -
Sascha Dörflein / algebra
The SMGloM modules for elementary algebra.
0updated -
Christoph Geist / algebra
The SMGloM modules for elementary algebra.
0updated -
SMGloM / algebra
The SMGloM modules for elementary algebra.
0updated -
MitM / almanac
Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
0updated -
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
Jeremy Schulz / blob-enc
testing blob encoding
0updated -
SMGloM / calculus
The SMGloM modules for calculus
0updated -
MiKoMH / CAPL
The course materials for the course "Computer Architecture and Programming Languages"
0updated -
0updated
-
SMGloM / chevahir
The glossary entries Chevahir did. May be useful at some point.
0updated