Archives for Flexiformal Mathematics in Math
This GitLab server acts as the archive of flexiformal mathematical documents in the MathHub portal.
MathHub is the best front-end for browsing and interacting with the contents, direct interaction with the GitLab server is only necessary for content developers. Please contact firstname.lastname@example.org for access; public archives.
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.
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
Content of this archive should (eventually) be licensed with open source licenses; preferably CC-BY-SA, but we do not enforce that at the moment.