Program Prooofs Install Download dafny executables here and add the bin folder to the path. Tutorial Their guide is very good, in 2h you can get it, it's C# + spec keywords [require, assert, ensure, forall] Book programming-proof Resources dafny-quick-ref cheat-sheet docs-index sequences dafny-interview