Explore projects

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

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

Graph Theory Modules in SMGloM

The meta information of the OEIS at MathHub.info

MMT example

The metadata for the HelloWorld project at MathHub.info

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

Number Theoretic Identities

The metadata for the KwarcMH project at MathHub.info