Coq-Linter

Basic linter for Coq.

Features

Run coqc each time the file is saved and report error messages.

Requirements

The program coqc must be installed on your system.

The extension ruoz.coq must be installed in VSCode.

Credits

Based on https://github.com/hoovercj/vscode-extension-tutorial