问题标签 [jscoq]
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.
1 问题
0
投票
1
回答
13
浏览
visual-studio-code - 如何像在 CoqIde/jscoq 中一样激活 vscode/vscoq 中的 Coq 消息？
我在我的消息栏中期待一些东西，但我没有看到它
示例脚本：
在 Jscoq 我看到（https://coq.vercel.app/scratchpad.html）：
在 vscode 我什么也没看到。
看图片清楚
叉：