Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Teaching / LBS1819
The MMT repository for the LBS course in WS 2018/19
0updated -
0updated
-
Isabelle / export-paper
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
0updated -
Naproche-SAD / distribution
The mathematical texts distributed by the Naproche-SAD project.
0updated -
HelloWorld / paper
A Hello World repository of an sTeX paper.
0updated -
0updated
-
0updated
-
MMATh / meta-inf
Metadata for the MMATh documents and formalizations
-
Michael Kohlhase / meta-inf
The Metadata for the MMATh formalizations and active documents.
0updated -
MMATh / models
experiments on modelling
0updated -
ODK / Demos
Demos for OpenDreamKit WP6
0updated -
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
ODK / knowls
LMFDB Knowls exported to sTeX.
0updated -
Christoph Geist / smglom
A MMT counterpart to the elementary math in SMGloM
0updated -
Christoph Geist / algebra
The SMGloM modules for elementary algebra.
0updated -
Sascha Dörflein / algebra
The SMGloM modules for elementary algebra.
0updated