News for hackers. Stuff that matters.

A comment on Dafny is a verification-aware programming language. Parent comment

Re:Dafny is a verification-aware programming language by junon on Wednesday April 24, 2024 @11:00AM (#40145177)
Cool, thanks! Will have to look into this
[ Parent | on HN ]

There are no comments on this comment yet.