@@ -11,10 +11,15 @@ MathHub.info consists of three parts:
* a [build system](https://buildsystem.mathhub.info) that manages the compilation of sources
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info)
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services. Archives for Flexiformal Mathematics in Math
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
### [GL.MathHub.info](https://gl.mathhub.info)
The content of the archive is mostly in the OMDoc/MMT and sTeX (a semantic extension of LaTeX) formats. Every GIT repository is structured as a Math archive for processing by the MMT knowledge processing system.
The content on [GL.MathHub.info](https://gl.mathhub.info) is mostly in the [OMDoc/MMT](https://uniformal.github.io/doc/language/)(for fully formal content) and [sTeX](https://github.com/sLaTeX/sTeX)(a semantic extension of LaTeX) formats, but other source formats like semantically annotated Word/PPT (via WOIDE and CPoint) and Markdown also work as long as they can generate [SHTML](https://hackmd.io/@X5Y0GrH0RY-KPMg2uH7o5Q/ByvrtDbFn) -- the MathHub.info lingua franca.
The [GL.MathHub.info](https://gl.mathhub.info) is organized into [math archives](https://uniformal.github.io/doc/archives/), collections of source files and generated representations with a [specified directory structure](https://uniformal.github.io/doc/archives/). On [GL.MathHub.info](https://gl.mathhub.info) math archives directly correspond to GIT repositories. This gives us authentication and user management.
The repositories are organized via [GitLab groups](https://docs.gitlab.com/ee/user/group/) for structure and authorization.
