Hacker News
- Categories: An implementation of category theory in Coq https://github.com/amintimany/Categories 6 comments
Linking pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - amintimany/Categories: A formalization of category theory in the Coq proof assistant.
See how to search.