synthetic_apriori@programming.devM to

Formal Methods@programming.dev · 2 years ago

The Dafny Programming and Verification Language

0

3

The Dafny Programming and Verification Language

synthetic_apriori@programming.devM to

Formal Methods@programming.dev · 2 years ago

0

Dafny

The Dafny Programming and Verification Language and tools

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 must log in or register to comment.

Chat

Helgaella
link
fedilink
arrow-up
1·
3 months ago
Removed by mod