News for hackers. Stuff that matters.

A comment on Dafny – A programming language with a program verifier. Parent comment

Re:Dafny – A programming language with a program verifier by igravious on Friday January 20, 2017 @08:09AM (#13443502)
Ok. But that's not what I was getting at.
[ Parent | on HN ]

There are no comments on this comment yet.