M
MitM
The "Math in the Middle" (MitM) Ontology, a high-level formalization of Mathematics.
The following maintenance work has been announced:
Friday 22.11.2024 07:00 – 09:00
The "Math in the Middle" (MitM) Ontology, a high-level formalization of Mathematics.