Super HN

   Dafny: Verification-Aware Programming Language (dafny.org) 6 points by handfuloflight 1 hour ago