News for hackers. Stuff that matters.

A comment on A formalization of category theory in Coq. Parent comment

Re:A formalization of category theory in Coq by noch on Friday August 04, 2017 @09:05PM (#14933656)
Indeed: Benjamin Pierce's lectures on "Software Foundations in Coq" https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWS...
[ Parent | on HN ]

There are no comments on this comment yet.