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