Lover by day, hacker by night
Company:Amazon Web ServicesLocation:Seattle, WA, USA
Dafny is a verification-aware programming language
Libraries useful for Dafny programs