dafny-lang.ide-vscode

Dafny

Total downloads

4,501

7d gain

66

Rolling weekly delta

Rating

- / 5

0 reviews

Version

3.5.4

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: dafny-lang
Name: ide-vscode
License: MIT
Homepage: https://github.com/dafny-lang/ide-vscode#readme
Repository: https://github.com/dafny-lang/ide-vscode.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Dafny for Visual Studio Code

Archive

Release history

9 latest releases