News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by vilhelm_s on Monday April 21, 2014 @12:53PM (#7622038)
It has been done: https://cakeml.org/.
[ Parent | on HN ]

There are no comments on this comment yet.