Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
caryoscelus
/
chunks-of-agda
Watch
1
Star
0
Fork
0
Files
Issues
0
Pull Requests
0
Wiki
Branch:
main
Branches
Tags
main
chunks-of-agda
/
README.md
README.md
52 B
Permalink
History
Raw
chunks-of-agda
random agda code/proofs playground