category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley
category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley
github.com GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work
An axiom-free formalization of category theory in Coq for personal study and practical work - GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal s...
This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.
0
comments