News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by crdoconnor on Thursday January 11, 2018 @06:57PM (#16129218)
No, I can test that.
[ Parent | on HN ]

There are no comments on this comment yet.