问题标签 [vscoq]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
2 问题
0
投票
1
回答
13
浏览
visual-studio-code - 如何像在 CoqIde/jscoq 中一样激活 vscode/vscoq 中的 Coq 消息？
我在我的消息栏中期待一些东西，但我没有看到它
示例脚本：
在 Jscoq 我看到（https://coq.vercel.app/scratchpad.html）：
在 vscode 我什么也没看到。
看图片清楚
叉：
0
投票
1
回答
18
浏览
visual-studio-code - 如何在 vscode 中自动 lint Coq 文件？
我在 vscode 中安装了一个 coq linter，但我遇到了这个问题：
我正在使用这个扩展。
为什么它不检查我的文件？