Angles of MMT, each one sentence

• MMT is a scalable module system for formalizing knowledge.
• MMT/LF induces a module system over LF.
• MMT is a foundation-independent framework for representing declarative languages such as logics, type theories, set theories.
• MMT allows formalizing knowledge declaratively and modularly with an open-world assumption in mind.
• The MMT API implements complex algorithms generically for any language in the framework.
• MMT allows rapid prototyping of formal systems