amintimany/Categories

A formalization of category theory in the Coq proof assistant.

68 best points · 6 comments · 1 Hacker News post · 101 GitHub stars · View on GitHub

Hacker News discussions