c/formal_methods · by synthetic_apriori@programming.dev · 3yThe Dafny Programming and Verification Language https://dafny.org/I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat. https://en.wikipedia.org/wiki/Dafny 12 points · 1 comments · view on lemmy.world
1 Comments
17451k@lemmy.world · 2 pts · 3y
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/
Helgaella@lemmy.sdf.org · 1 pts · 1y