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 TezlaOil on Friday August 04, 2017 @08:28PM (#14933510)
Software Foundations book [1] covers many case studies. One of the authors has a lecture course based around the book as well.

[1] softwarefoundations.cis.upenn.edu/current/index.html

[ Parent | on HN ]
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 ]
Re:A formalization of category theory in Coq by porges on Saturday August 05, 2017 @06:08AM (#14935026)
I can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.
[ Parent | on HN ]