Skip to content
M

MitM

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