Explore projects

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

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

Graph Theory Modules in SMGloM

The SMGloM contributions of Jukka Kohonen.

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

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science