問題タブ [coqide]

質問する

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.

95 問題

0 投票する

1 に答える

31 参照

coq - CoqIde を起動できません

CoqIde で環境設定 -> 外部 -> coqtop を変更するまではすべて問題ありません。その後、写真に示すように CoqIde の起動に問題が発生することに気付きました。coqtopに間違ったパスを書いたようです。coqplatform を再インストールしようとしましたが、役に立たないようです。では、どうすれば CoqIde を再起動できますか?