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 throwaway2048 on Sunday December 31, 2017 @02:52AM (#16039810)
They had real world examples of formally verified code in 1983 too.
[ Parent | on HN ]

There are no comments on this comment yet.