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

version 2 of the LATIN atlas

Claudio's Code and potentially other things.

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

The slides and course notes of the course Computational NL Semantics at Jacobs University.

The slides and course notes for the course Artificial Intelligence at Jacobs University

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


The SMGloM modules for elementary algebra.

The slides and course notes of the course Computational Logic at Jacobs University.

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

A MMT counterpart to the elementary math in SMGloM



General Tests (Views, Structures, etc.)

Slides and notes for talks held by Michael Kohlhase

Elementary set theory for the SMGloM

the meta information for the MathintheMiddle Ontology

The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.

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