#dafny

Dafny：支持验证的编程语言
Dafny: Verification-Aware Programming Language(github.com)
2020-7-31 0:5
Dafny是一种带有程序验证器的编程语言。当您键入程序时，验证器会不断检查您的肩膀并标记任何错误。此GitHub站点包含以下材料： 有关Dafny语言和工具的文档位于此处。在线和pdf版都有参考手册。(如果需要，可以生产乳胶版本。)。 您可以在Stack Overflow上询问有关Dafny的问题，也可以在Dafny......