opetopes-in-agda icon indicating copy to clipboard operation
opetopes-in-agda copied to clipboard

Published 20 hours ago • verified publisher icon ericfinster
→

Metadata

Formalization of Opetopes and Opetopic Sets in Agda

opetopes-in-agda

Formalization of Opetopes and Opetopic Sets in Agda

← Metadata

15
Stars
1
Forks
Watchers

Owner

verified publisher icon ericfinster

Metadata

Formalization of Opetopes and Opetopic Sets in Agda

Back