Dafny: Verification-Aware Programming Language from Microsofthttps://github.com/Microsoft/dafny by Xelom • 10 years ago 2 0 10 years agoGIgithub.com