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 haskellandchill on Saturday December 30, 2017 @07:18PM (#16038504)
Yes! Thanks.
[ Parent | on HN ]

There are no comments on this comment yet.