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

Elementary set theory for the SMGloM

Number Theoretic Functions

Number Theory


The SMGloM modules for geometry


Basic concepts about computers and programming

The SMGloM modules for calculus


The course materials for the Lecture Logic Based Language Processing at FAU

The course notes and slides of the course "Informatische Werkzeuge der Geistes und Sozialwissenschaften" at FAU ElangenNürnberg

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


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


A MMT counterpart to the elementary math in SMGloM

Examples for Grammatical Logical Framework (GLF)

Subglossary of primes in SMGloM

The slides and course notes for the course Text and Digital Media at Jacobs University

The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg