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