News for hackers. Stuff that matters.

A comment on Categories: An implementation of category theory in Coq.

Re:Categories: An implementation of category theory in Coq by mafribe on Tuesday April 12, 2016 @04:43AM (#11478034)
There are quite a few formalisations of category theory for proof assistants. For a relatively recent overview, see:

https://mathoverflow.net/questions/152497/formalizations-of-...

[ Parent | on HN ]

There are no comments on this comment yet.