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 nickpsecurity on Monday November 30, 2015 @03:45PM (#10651603)
Yes, that was also in what I read.
[ Parent | on HN ]

There are no comments on this comment yet.