dafny 2.3.0.10506 x64 win.zip

dafny语言源代码dafny 一种微软推出的编程语言用于程序正确性验证。是一种新型的语言。(dafny one kind of Microsoft' s programming language for program correctness verification. Is a new language.)