issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Generalize to groupoids
#3
Closed
pufferffish
closed
9 months ago
pufferffish
commented
9 months ago
Duplicate
Duplicate