Skip to content
Snippets Groups Projects
M

MitM

The "Math in the Middle" (MitM) Ontology, a high-level formalization of Mathematics.