itamar/algebra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
transforming setoids to quotient sets
3 commits 1 branch 0 tags 36 KiB
Find a file
Exact
laniakea dccfeaf5b3
boom
2026-04-10 14:48:24 +02:00
main.agda boom 2026-04-10 14:48:24 +02:00