All Projects → ericfinster → opetopes-in-agda

ericfinster / opetopes-in-agda

Licence: other
Formalization of Opetopes and Opetopic Sets in Agda

Programming Languages

Agda
84 projects

opetopes-in-agda

Formalization of Opetopes and Opetopic Sets in Agda

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].