Hacker News
- Dafny is a verification-aware programming language https://github.com/dafny-lang/dafny 35 comments
- Dafny: Verification-Aware Programming Language https://github.com/dafny-lang/dafny 26 comments
Linking pages
- How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors | ConsenSys https://consensys.net/blog/ethereum-2-0/20039/ 130 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- GitHub - prathyvsh/pl-catalog: A catalog of programming languages https://github.com/prathyvsh/pl-catalog 17 comments
- GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 comments
- How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors | ConsenSys https://consensys.net/blog/ethereum-2-0/20039/?amp%3Bhss_channel=tw-3129477561&%3Bs=09&%3Butm_medium=social&%3Butm_source=twitter 5 comments
- LiquidHaskell https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20/why-types.lhs/ 3 comments
- The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation | Hey There Buddo! https://www.philipzucker.com/dwarf-patching/ 2 comments
- Formally Verifying the Ethereum 2.0 Phase 0 Specifications | ConsenSys https://consensys.net/blog/blockchain-development/formally-verifying-the-ethereum-2-0-phase-0-specifications/ 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
Linked pages
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.