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 Roritharr on Sunday December 31, 2017 @06:39AM (#16040234)
Thanks! This was exactly what I was looking for!
[ Parent | on HN ]

There are no comments on this comment yet.