The public repository for the JLogic law formalization course
simple logic exercises for the interactive prover
just a backup of the jedit extension for my masterproject/masterthesis
documentation for SMGloM project
Metadata for the MMATh documents and formalizations
The SMGloM modules for elementary algebra.
A MMT counterpart to the elementary math in SMGloM
A Semantic Multilingual Glossary for Mathematics.
experiments on modelling
The slides and course notes for the course Statistics at Jacobs University