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.
The SMGloM modules for topology
The staging ground for Theresa's SMGloM contributions
sub-library of OEIS for testing