0

使用启用了 VSCoq 和 coq 扩展的 Visual Studio Code 时，单步执行证明效果很好，但 ProofView 窗口显示空白（无内容）。解决此问题的问题和解决方案可能是什么？

4

0 回答 0