Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
0updated
-
Teaching / LBS1819
The MMT repository for the LBS course in WS 2018/19
0updated -
MiKoMH / CompLog
The slides and course notes of the course Computational Logic at Jacobs University.
0updated -
SMGloM / theresas-playground
The staging ground for Theresa's SMGloM contributions
0updated -
SMGloM / sets
Elementary set theory for the SMGloM
0updated -
SMGloM / numthyfun
Number Theoretic Functions
0updated -
SMGloM / numthy
Number Theory
0updated -
SMGloM / numbers
special numbers in SMGloM
0updated -
0updated
-
SMGloM / calculus
The SMGloM modules for calculus
0updated -
0updated
-
SMGloM / algebra
The SMGloM modules for elementary algebra.
0updated -
ODK / math
The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
1updated -
0updated
-
SMGloM / chevahir
The glossary entries Chevahir did. May be useful at some point.
0updated -
SMGloM / meta-inf
documentation for SMGloM project
0updated -
MiKoMH / talks
Slides and notes for talks held by Michael Kohlhase
0updated -
HelloWorld / meta-inf
The metadata for the HelloWorld project at MathHub.info
0updated -
BaseMH / Physics
Basic Concepts of Physics
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