Generalized syntax & semantics for universe hierarchies
Primary LanguageTeX
Sources for the paper "Generalized Universe Hierarchies and First-Class Universe Levels".