jwiegley/category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

109 best points · 33 comments · 1 Hacker News post · 819 GitHub stars · View on GitHub

Hacker News discussions

• A formalization of category theory in Coq (109 points, 33 comments, by noch, 2017-08-04)