ericfinster/opetopic-types

Higher Algebra with Opetopic Types

Agda

Readme
0Issues
13Stargazers
7Watchers

Stargazers

Alizter
London, United Kingdom
anqurvanillapy
@Shopee
ayberkt
University of Birmingham
beike-zh
cangiuli
dannypsnl
@second-state
jonsterling
University of Cambridge
mvr
NYUAD
samkuhn
UK
samtoth
simfleischman
SimSpace
tkersey
@thisisartium
vikraman
Università di Bologna

Contact site admin: Geeks.