Dafny: Verification-Aware Programming Language from Microsoft #1 Post by Xelom » Mon, Jun 20, 2016, 11:07 AM UTC Dafny: Verification-Aware Programming Language from Microsoftgithub.com