Dafny是一种带有程序验证程序的编程语言。 在您输入程序时，验证程序会不断抬头并标记任何错误。 这个github站点包含以下材料：
资料来源
Windows，Mac，GNU / Linux和FreeBSD的
Wiki，包括
有关dafny语言和工具的文档位于。 参考手册可以，也可以。 （如果需要，可以生成LaTeX版本。）
社区
您可以在上询问有关Dafny的问题，或参加有关Dafny的一般讨论 。
试试达芙妮
开始使用Dafny的最简单方法是使用 ，您无需编写任何程序就可以编写和验证Dafny程序。 在，您还将找到在线Dafny教程。 使用VS Code也很容易，与Web浏览器相比，它为您提供了更好的用户体验。
设置
请参阅Wiki上的以及有关安装。
阅读更多
以下是开始使用Dafny的一些方法：
有关规范和代码验证基础的4部分课程：
讲座0：（19:08）
第1课：（20:5