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 adultSwim on Wednesday January 03, 2018 @11:37AM (#16062430)
+1 for Software Foundations
[ Parent | on HN ]

There are no comments on this comment yet.