Geeks
sto0pkid
/
CategoryTheory
Category Theory in Agda
Primary Language
Agda
GNU General Public License v3.0
GPL-3.0
CategoryTheory GitHub
Markdown
Readme
0
Issues
13
Stargazers
4
Watchers
Watchers
TeamSPoon
https://github.com/logicmoo
jhcloos
JulieCooper
Seattle, WA
sto0pkid