Geeks
ericfinster
/
opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda
Primary Language
Agda
opetopes-in-agda GitHub
Markdown
Readme
0
Issues
16
Stargazers
4
Watchers
opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda