0

我在 vscode 中安装了一个 coq linter，但我遇到了这个问题：

Cannot lint the coq file.

在此处输入图像描述

我正在使用这个扩展。

为什么它不检查我的文件？

交叉：https ://github.com/fpoli/vscode-coq-linter/issues/1

4

1 回答 1

0

不幸的是 Coq 没有 linter，通常的扩展是vscoq

于 2022-03-04T21:21:47.830 回答