Explore projects

The Metadata for the MMATh formalizations and active documents.

An example for the MathHub Worker

An hello world repository for problems and exams for the MathHub worker.

An example for the MathHub Worker

The metadata for the HelloWorld project at MathHub.info

Testing for Carsten Knoll

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)

A Semantic Multilingual Glossary for Mathematics.