安装Dafny
# 快速上手
# 安装
可以访问Dafny-lang (opens new window)查看最新Dafny版本
# Vscode
具体下载方法可查看Dafny wiki (opens new window)，这是语言团队推出并维护的wiki博客。
如果你想快速上手使用，可以观看Install Dafny on Windows (opens new window)，了解如何在vscode上创建并编译Dafny文件。
步骤如下：
- 下载vscode,安装Dafny(v1.6.0)扩展包
- 下载Netcore5.0
- 创建
.dfy文件，等待language server自动下载完成。 - 编译运行
# 下载Dafny扩展包
# 下载NetCore5.0
进入vscode新建或打开一个dafny（.dfy）文件，此时vscode会提示需要下载[NETCore5.0](Download .NET (Linux, macOS, and Windows) (microsoft.com) (opens new window))。
# 自动下载language server
注意扩展包中有如下提示：
This VSCode plugin requires the Dafny language server (shipped with the Dafny release since v3.1.0).
The plugin will install it automatically upon first use.
Dafny扩展插件会自动下载language server,但实际速度和成功率不尽人意。
# 手动配置language server
# GitHub下载dafny
以dafny(v3.2.0)为例，进入Dafny-lang (opens new window)下载对应版本语言包。
# 相关配置文件
找到Dafny.dll与DafnyLanguageServer.dll文件，记住其文件路径。
# 更改相关路径
在vscode工作区--扩展--Dafny extension中修改Compiler Runtime Path、Language Server Runtime Path为以上两个文件的对应路径。
# 第一个Dafny程序
配置完成，让我们来创建个简单的dafny文件来体验一下吧！
- 实时验证
- hello,Dafny
相关链接：
github wiki (opens new window)