Geeks
wkolowski
/
CoqCat
Formalization of Category Theory in Coq.
Primary Language
Coq
CoqCat GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Watchers
jhcloos