camrein / ide-vscode Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dafny-lang/ide-vscode
VSCode IDE Integration for Dafny
Home Page: https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode
License: MIT License