Dafny: Verification-Aware Programming Language from Microsoftgithub.com2 points·Xelom··0 commentsOpen articleSaveView on HN