MathHub.info 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.

MathHub.info consists of three parts:

• a source management system: GL.MathHub.info that provides versioned source and project management facilities.
• a build system that manages the compilation of the sources
• a knowledge management server: the FLAMS system 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 GL.MathHub.info Wiki.