News for hackers. Stuff that matters.

A comment on Formal methods only solve half my problems. Parent comment

Re:Formal methods only solve half my problems by AkshatM on Saturday June 04, 2022 @11:17AM (#31621301)
Dafny is a really cool find, thank you!
[ Parent | on HN ]

There are no comments on this comment yet.