To avoid replicating what should be identical information, the Installation instructions
for dafny are on the wiki: [https://github.com/dafny-lang/dafny/wiki/INSTALL](https://github.com/dafny-lang/dafny/wiki/INSTALL)