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

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

Basic Concepts of Physics

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg

documentation for SMGloM project

The SMGloM modules for elementary algebra.


The SMGloM modules for topology

Elementary set theory for the SMGloM

Subglossary of primes in SMGloM

special numbers in SMGloM

The SMGloM modules on linear algebra.




The IWGS glossary

Slides and notes for talks held by Michael Kohlhase

The Course General ICT at Jacobs University

The materials of the LBS course held in WS 2019/20.

Graph Theory Modules in SMGloM