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 / theresasplayground
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 / metainf
documentation for SMGloM project
0updated 
MiKoMH / talks
Slides and notes for talks held by Michael Kohlhase
0updated 
HelloWorld / metainf
The metadata for the HelloWorld project at MathHub.info
0updated 
BaseMH / Physics
Basic Concepts of Physics
0updated 
Isabelle / exportpaper
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
0updated