Explore projects

The slides and course notes of the course General Computer Science at Jacobs University.

The metadata for the HelloWorld project at MathHub.info

The Theories for the LMFDB data base.

The Meta Information for the ODK Group.

The Knowledge behind the FindStat project

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

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

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

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 knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

The logical foundation(al theories) used by MitM projects

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

meta info for PVS

Active documents with models