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

A MMT counterpart to the elementary math in SMGloM


The Theories for the LMFDB data base.

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

OMDoc/MMT Tutorial for Mathematicians

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

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

The Meta Information for the ODK Group.


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

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

The Knowledge behind the FindStat project


The SMGloM modules for topology

A Semantic Multilingual Glossary for Mathematics.

Documentation about the SMGloM

Graph Theory Modules in SMGloM
