this post was submitted on 19 Jul 2023
3 points (100.0% liked)

Formal Methods

167 readers
1 users here now

founded 2 years ago
MODERATORS
[email protected]
[email protected]
3
The Dafny Programming and Verification Language (dafny.org)
submitted 2 years ago* (last edited 2 years ago) by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

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

you are viewing a single comment's thread
view the rest of the comments