Getting started with Dafny: Your first formal proofblog.applied-algorithms.tech3 points·algorithmsRcool··0 commentsOpen articleSaveView on HN