synthetic_aprioriM to Formal Methods · edit-22 years agoThe Dafny Programming and Verification Languagedafny.orgexternal-linkmessage-square1linkfedilinkarrow-up112arrow-down10file-text
arrow-up112arrow-down1external-linkThe Dafny Programming and Verification Languagedafny.orgsynthetic_aprioriM to Formal Methods · edit-22 years agomessage-square1linkfedilinkfile-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
minus-squareHelgaella@lemmy.sdf.orgBannedBanned from communitylinkfedilinkarrow-up1·edit-23 months agoRemoved by mod
Removed by mod