/vscode-redtt-diagnostics

Diagnostic extension for redtt prover

Primary LanguageTypeScript

Stargazers