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 qznc on Sunday December 31, 2017 @07:42PM (#16043921)
Did not try. I'm only looking in southern Germany and afaik nobody does that here.
[ Parent | on HN ]

There are no comments on this comment yet.