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.
[ Parent
| on HN ]
There are no comments on this comment yet.