issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Cleanup and add CI
#7
Closed
pufferffish
closed
10 months ago
pufferffish
commented
10 months ago
Close #6
Close #6