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

A MMT counterpart to the elementary math in SMGloM

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


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


The Knowledge behind the FindStat project

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

The Theories for the LMFDB data base.

The Meta Information for the ODK Group.

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

OMDoc/MMT Tutorial for Mathematicians

Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University ErlangenNuremberg in Summer 2020.


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

The course on Secure and Dependable Systems.

repository for a dummy build target that converts .foo files depending on other .foo files to .bar files


experiments on modelling