Dafny is a verification-aware programming language - View it on GitHub