/bonak

🧊 An indexed construction of semi-simplicial and semi-cubical types

Primary LanguageTeXMIT LicenseMIT

Stargazers