Hacker News new | ask | show | jobs
Dafny: Verification-Aware Programming Language from Microsoft (github.com)
2 points by Xelom 3645 days ago