Geeks
ioanluca
/
proving-categories
being Agda coursework
Primary Language
Agda
proving-categories GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
ioanluca
London, UK and Bucharest, RO
jhcloos