如何在 vscode 中自动 lint Coq 文件？
我在 vscode 中安装了 coq linter，但遇到了这个问题：
Cannot lint the coq file.
我正在使用此扩展程序。
为什么它不检查我的文件？
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?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
不幸的是，Coq 没有 linter，它通常的扩展名是 vscoq
Unfortunately Coq has no linter, the usual extension for it is vscoq