Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Test / General
General Tests (Views, Structures, etc.)
0updated -
MitM / smglom
A MMT counterpart to the elementary math in SMGloM
2updated -
0updated
-
0updated
-
1updated
-
0updated
-
MiKoMH / IWGS
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
0updated -
0updated
-
0updated
-
MiKoMH / GenICT
The Course General ICT at Jacobs University
0updated -
MMATh / models
experiments on modelling
0updated -
Isabelle / Distribution
OMDoc export of the theories included in the Isabelle distribution
0updated -
Isabelle / AFP
OMDoc export of the Archive of Formal Proofs
0updated -
0updated
-
0updated
-
MiKoMH / ComSem
The slides and course notes of the course Computational NL Semantics at Jacobs University.
0updated -
MiKoMH / LBS
The course materials for the Lecture Logic Based Language Processing at FAU
0updated -
Tutorials / Mathematicians
OMDoc/MMT Tutorial for Mathematicians
1updated -
0updated
-
MiKoMH / TDM
The slides and course notes for the course Text and Digital Media at Jacobs University