Generalized syntax & semantics for universe hierarchies
Primary LanguageTeX
No issues in this repository yet.