synthetic_apriori@programming.devM to Formal Methods@programming.dev · edit-21 year agoThe Dafny Programming and Verification Languagedafny.orgexternal-linkmessage-square0fedilinkarrow-up11file-text
arrow-up11external-linkThe Dafny Programming and Verification Languagedafny.orgsynthetic_apriori@programming.devM to Formal Methods@programming.dev · edit-21 year agomessage-square0fedilinkfile-text
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
