Dafny: verification-aware programming language

Article URL: https://github.com/Microsoft/dafny

Comments URL: https://news.ycombinator.com/item?id=18099795

Points: 18

# Comments: 3

from Hacker News: Front Page https://ift.tt/1r3OvK7
via