The Dafny Programming and Verification Language
I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.
https://dafny.org/Open linkView original on programming.devSyndicated from the fediverse. Read and engage on the original instance.
View original on programming.devhttps://dafny.org/Open linkView original on programming.dev
1 reply
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/