Explore projects

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)

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

Core formalizations of (elementary) mathematics in MMT

The logical foundation(al theories) used by MitM projects

The meta stuff for MDH data

The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.

Active documents with models

INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology

The metadata for the MaMoReD project at MathHub.info