GitHub repository: DafnyVSCode/ide-vscode
Primary language: TypeScript
Created: 2020-05-12T12:10:59Z
Description: VSCode IDE Integration for Dafny