itamar/algebra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
transforming setoids to quotient sets
2 commits 1 branch 0 tags 36 KiB
Find a file
itamar 66a0eac7e2 Delete main.agda
2026-04-10 12:47:07 +00:00