The [MitM foundation](https://mathhub.info/MitM/Foundation) provides the meta-theory and system-level knowledge and specifications for the knowledge-based integration of mathematical software systems like GAP, PARI, dSAGE, Singular and mathematical data based like the LMFDB, OEIS, Findstat into a mathematical virtual research environment in the [OpenDreamKit](http://opendreamkit.org) project.
