issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Defining symmetric monoidal groupoids
#44
Open
pufferffish
opened
10 months ago