D dafny.org Dafny: Verification-Aware Programming Language 110 points handfuloflight 10 months ago 33 comments
