Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Categories: An implementation of category theory in Coq
(github.com/amintimany)
68 points
guifortaine
10 years ago
6 comments