A Semantic Multilingual Glossary for Mathematics.
FormalCAD Project Content
The slides and course notes of the course General Computer Science at Jacobs University.
The slides and course notes of the course Computational Logic at Jacobs University.
Basics about KWARC, Jacobs, etc. and other missing stuff.
The language meta-level of SMGloM
Graph Theory Modules in SMGloM
Documentation about the SMGloM
Elementary set theory for the SMGloM
The slides and course notes for the course Statistics at Jacobs University