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 ErlangenNürnberg

The SMGloM modules for elementary algebra.

for now seeded with ODK/math content

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