Discover projects, groups and snippets. Share your projects with others
experiments on modelling
The slides and course notes for the course Statistics at Jacobs University
temporary home for the EOSC proposal.
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
The mathematical texts distributed by the Naproche-SAD project.
The SMGloM modules for elementary algebra.
The MMT repository for the LBS course in WS 2018/19
Articles describing the library export
A Semantic Multilingual Glossary for Mathematics.