issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Clean up sorting proof
#77
Closed
pufferffish
closed
5 months ago