Comment on Dafny is a verification-aware programming languageparentComments−MikaelMayer2yI'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.
Comments
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.