News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

Re:What I've Learned About Formal Methods in Half a Year by nh23423fefe on Monday April 10, 2023 @02:33PM (#35515663)
3 assertions with no implications
[ Parent | on HN ]

There are no comments on this comment yet.