Geeks
Saizan
/
cat
Formalizing Category Theory in Agda using Cubical Type Theory
Primary Language
Agda
cat GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Stargazers
5HT
@synrc
scott-fleischman