News for hackers. Stuff that matters.

A comment on Make formal verification and provably correct software practical and mainstream. Parent comment

Re:Make formal verification and provably correct software pr... by tgv on Sunday May 29, 2022 @06:30AM (#31548028)
Thanks. Pretty cool.
[ Parent | on HN ]

There are no comments on this comment yet.