The virtual theories of the symmetric objects data collection.
sTeX Descriptions of the VoLL-KI Systems
Foundations of Units and Quantities.
The upper library ontology for theorem prover libraries.
trigonometric functions
The SMGloM modules for topology
sub-library of OEIS for testing
A bite-sized fragment of the MML used for Testing and Development This is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
Some foundations of Tannakian Symbols and their relations.
Slides and notes for talks held by Michael Kohlhase