/vscode-arend

VSCode extension for the Arend language

Primary LanguageTypeScript

No issues in this repository yet.