Explore projects

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

Graph Theory Modules in SMGloM

Basics about KWARC, Jacobs, etc. and other missing stuff.

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

Number Theory

trigonometric functions

The SMGloM modules for topology