This website requires JavaScript.
Explore
Help
Register
Sign In
zkdream.net
/
algebra
Watch
1
Star
0
Fork
You've already forked algebra
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
transforming setoids to quotient sets
1
Commit
1
Branch
0
Tags
28
KiB
Agda
100%
master
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
zk⁷
75c95a0869
P
2024-03-11 20:22:08 +02:00
main.agda
P
2024-03-11 20:22:08 +02:00