Hacker News new | past | comments | ask | show | jobs | submit | from login

Dafny is a verification-aware programming language (github.com/dafny-lang) 107 points by r9295 7 months ago | past | 35 comments Dafny: Verification-Aware Programming Language (github.com/dafny-lang) 64 points by MindGods on July 30, 2020 | past | 26 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: