Indeed: Benjamin Pierce's lectures on "Software Foundations in Coq" https://www.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

noch on Aug 5, 2017 | parent | context | favorite | on: A formalization of category theory in Coq

Indeed: Benjamin Pierce's lectures on "Software Foundations in Coq" https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWS...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact