the Content Management System of is a comprehensive development and operations systems for flexiformal knowledge and documents. In the outset, the system focused on mathematical content - hence the name - but the scope has since widened to any kind of knowledge and documents that can be flexiformalized (formalized to a flexible degree of formality) and any kind of application that can turn machine-actionable parts of the representations into user-level services. consists of three parts:

  • a content management system: that provides versioned content and project management facilities.
  • a build system that manages the compilation of sources
  • a knowledge management server: the MMT API that provides added value APIs to the knowledge and documents for applications.

Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.

For details, tools, and advice see the Wiki. the Content Management System of

or sign in with