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.
for now seeded with ODK/math content
Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
testing blob encoding
The SMGloM modules for calculus