Dafny Exercises This repository holds solution to exercises to the tutorial for the Dafny Language. Helpful links boogie-friends: Make your emacs into Dafny IDE.