ericfinster / opetopes-in-agdaLinks

Formalization of Opetopes and Opetopic Sets in Agda
18Updated 8 years ago

Alternatives and similar repositories for opetopes-in-agda

Users that are interested in opetopes-in-agda are comparing it to the libraries listed below

Sorting: