/vscode-dafny-symbols

VSCode extension to collect symbols in Dafny programs.

Primary LanguageTypeScriptMIT LicenseMIT

Issues