Geeks
fredefox
/
cat
A formalization of category theory in cubical Agda
Primary Language
Agda
cat GitHub
Markdown
Readme
2
Issues
57
Stargazers
3
Watchers
Issues
Closed issue
Automatically deploy clickable HTML to GitHub Pages
#15 opened
5 years ago
by
ayberkt
24
Closed issue
Epimorphism {X} f
#6 opened
6 years ago
by
JoelSjogren
1