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

The Course General ICT at Jacobs University


The IWGS glossary


FormalCAD Project Content

An SMGloM Archive for Logic

A SMGloM archive for mathematical Software



Some foundations of Tannakian Symbols and their relations.

Elementary set theory for the SMGloM

Elementary physics


The SMGloM contributions of Jukka Kohonen.

Applications of SMGloM, a semantic multilingual resource for mathematics  glossaries and dictionaries.


The metadata for the MiKoMH project at MathHub.info

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