I saw this posted on r/ProgrammingLanguages. I hadn’t heard of this language before, but it looks neat.
You must log in or register to comment.
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/