News for hackers. Stuff that matters.
Re:Dafny is a verification-aware programming language by MikaelMayer on Wednesday April 24, 2024 @01:08PM (#40147022)
I'm working on it! Feel free to launch a discussion in the GitHub project if you are interested, with examples in mind, if have any questions.

There are no comments on this comment yet.