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 Elangen-Nü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 Erlangen-Nürnberg