News for hackers. Stuff that matters.

A comment on Proving false in Coq using an implementation bug. Parent comment

Re:Proving false in Coq using an implementation bug by solomatov on Tuesday March 24, 2015 @06:25PM (#9259926)
It's not small at all. It's about 30KLOC of code.
[ Parent | on HN ]

There are no comments on this comment yet.