Geeks
ionathanch
/
scraps
Various mechanized proof files for fun.
Primary Language
Agda
scraps GitHub
Markdown
Readme
0
Issues
8
Stargazers
2
Watchers
No issues in this repository yet.