如何像在 CoqIde/jscoq 中一样激活 vscode/vscoq 中的 Coq 消息？
我期待消息栏中出现一些内容，但没有看到它 示例脚本： Fixpoint add_left (n m : nat) : nat := match n with | O => m | S p => S (add_left p m) e…
如何在 vscode 中自动 lint Coq 文件？
我在 vscode 中安装了 coq linter，但遇到了这个问题： Cannot lint the coq file. 我正在使用此扩展程序。 为什么它不检查我的文件？ 交叉： https:/…
- 共 1 页
- 1
