Explore projects

FormalCAD Project Content

thesis docs

Documentation about the SMGloM

A Semantic Multilingual Glossary for Mathematics.

The metadata for the HelloWorld project at MathHub.info

The Theories for the LMFDB data base.

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

a study

Active documents with models

The SMGloM modules for elementary algebra.

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

Articles describing the library export

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