Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A formalization of category theory in Coq. Parent comment
The DeepSpec summer school, however, did lead with a Coq intensive, which was recorded and included in the uploads at https://www.youtube.com/channel/UC5yB0ZRgc4A99ttkwer-dDw .
There are no comments on this comment yet.
The DeepSpec summer school, however, did lead with a Coq intensive, which was recorded and included in the uploads at https://www.youtube.com/channel/UC5yB0ZRgc4A99ttkwer-dDw .