GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ mathink
1 open source projects by mathink
[ Open user page on Github ]
1.
Cat on Coq
Setoid-based Category Theory in Coq.
✭ 12
HTML
Coq
1-1
of
1
user projects
