問題タブ [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 では何も表示されません。
明確にするために写真を参照してください
クロス：