Giters
pigworker
/
PoP
being code and blether about presheaves on purpose
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
1
Issues:
0
Forks:
1
PoP
being code and blether about presheaves on purpose
About
being code and blether about presheaves on purpose
Languages
Language:
TeX
58.5%
Language:
Agda
41.5%