Geeks
a9032676
/
category-research
Self-studying for category theory with agda
Primary Language
Agda
category-research GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
jiangsy
ShreckYe
@huanshankeji
YuxiJun