GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language - discu.eu

Hacker News

Dafny: verification-aware programming language https://github.com/Microsoft/dafny 14 comments 29/9/2018

Dafny – A programming language with a program verifier https://github.com/Microsoft/dafny/blob/master/README.md 58 comments 19/1/2017
Dafny: a verification-aware programming language https://github.com/Microsoft/dafny 3 comments 18/6/2016

Reddit

Rust should cannibalize Dafny's program verification https://github.com/microsoft/dafny 19 comments 20/1/2017 rust
Dafny: a verification-aware programming language https://github.com/microsoft/dafny 28 comments 18/6/2016 programming

Linking pages

TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments

Linked pages

leino.science, home of K. Rustan M. Leino http://leino.science/dafny-power-user/ 0 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language

See how to search.

Submit link to: