News for hackers. Stuff that matters.

A comment on The C standard formalized in Coq. Parent comment

Re:The C standard formalized in Coq by Drup on Monday November 30, 2015 @02:13PM (#10651091)
And also a tribute to Thierry Coquand, the inventor of the CoC.
[ Parent | on HN ]
Re:The C standard formalized in Coq by nickpsecurity on Monday November 30, 2015 @03:45PM (#10651603)
Yes, that was also in what I read.
[ Parent | on HN ]