/opetopes-in-agda

Formalization of Opetopes and Opetopic Sets in Agda

Primary LanguageAgda

Stargazers