Comment on Dafny is a verification-aware programming languageComments−sn92yThere's a recent textbook for Dafny aimed at undergraduates with a bit of programming experience. [0][0] https://mitpress.mit.edu/9780262546232/program-proofs/
Comments
There's a recent textbook for Dafny aimed at undergraduates with a bit of programming experience. [0]
[0] https://mitpress.mit.edu/9780262546232/program-proofs/