DafnyLanguageMode Microsoft Research 1.0 This is a language mode for using the Dafny language inside Visual Studio. 1033 Pro Pro |%CurrentProject%| DafnyPrelude.bpl UnivBackPred2.smt2