Dafny: Verification-Aware Programming Language

109 points

by handfuloflight

4 days ago

33 comments