How does one automatically lint Coq files in vscode?

Question

I installed a coq linter in vscode but I get this issue:

Cannot lint the coq file.

I am using this extension.

Why is it not linting my file?

what about this linter: https://github.com/fpoli/vscode-coq-linter why doesn't it work? — Charlie Parker, Mar 04 '22 at 22:10

score 0 · Answer 1 · answered Mar 04 '22 at 21:21

0

Unfortunately Coq has no linter, the usual extension for it is vscoq

answered Mar 04 '22 at 21:21

Lolo

what about this: https://github.com/fpoli/vscode-coq-linter ? – Charlie Parker Mar 04 '22 at 22:09
it only runs coqc on the file. You are better off with vscoq. – Lolo Mar 05 '22 at 08:03

1 Answers1