DafnyLanguageMode This is a language mode for using the Dafny language inside Visual Studio. Z3-LICENSE.txt