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

MitM / smglom
A MMT counterpart to the elementary math in SMGloM
3updated 
ODK / metainf
The Meta Information for the ODK Group.
1updated 
MMT / examples
Paradigmatic examples of MMT content. They are used for development and regression testing.
1updated 
ODK / lmfdb
The Theories for the LMFDB data base.
1updated 
1updated

MMT / LATIN
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
1updated 
Tutorials / Mathematicians
OMDoc/MMT Tutorial for Mathematicians
1updated 
ODK / FindStat
The Knowledge behind the FindStat project

ODK / GAP
The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.
1updated 
ODK / Sage
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
1updated 
ODK / math
The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
1updated 
0updated

Heinz Kröger / graphs
Graph Theory Modules in SMGloM
0updated 
hang / GenCS
The slides and course notes of the course General Computer Science at Jacobs University.
0updated 
OEIS / TestOEIS
sublibrary of OEIS for testing
0updated 
0updated

0updated

Tianlin / topology
The SMGloM modules for topology
0updated