Explore GitLab
Discover projects, groups and snippets. Share your projects with others

A MMT counterpart to the elementary math in SMGloM

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


Paradigmatic examples of MMT content. They are used for development and regression testing.

The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/

OMDoc/MMT Tutorial for Mathematicians

The Meta Information for the ODK Group.

The Theories for the LMFDB data base.

The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.

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


The Knowledge behind the FindStat project

Graph Theory Modules in SMGloM

Documentation about the SMGloM

The slides and course notes of the course General Computer Science at Jacobs University.

Modal logic problems collected at University Potsdam.

Elementary set theory for the SMGloM

FormalCAD Project Content