Explore projects

The Meta Information for the ODK Group.

Units and Measurements

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

MMT example

just a backup of the jedit extension for my masterproject/masterthesis

simple logic exercises for the interactive prover

Meta-information for the TPS library

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

The Theories for the LMFDB data base.

The Knowledge behind the FindStat project