🧊 An indexed construction of semi-simplicial and semi-cubical types
Primary LanguageTeXMIT LicenseMIT
No issues in this repository yet.