Explore projects

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