GitHub repository: konn/vscode-redtt-diagnostics
Primary language: TypeScript
Created: 2018-11-10T13:34:45Z
Description: Diagnostic extension for redtt prover