coq - 无法启动 CoqIde

Question

一切都很好，直到我在 CoqIde 中更改了首选项 -> Externals -> coqtop，然后我发现自己在启动 CoqIde 时遇到了麻烦，如图所示。看来我在coqtop中写错了路径。我试图重新安装coqplatform，它似乎没用。那么如何重新启动我的 CoqIde？

Answer 1

在 Windows 上，CoqIDE 的用户配置文件位于：

C:\Users\<Yourname>\AppData\Local\coq

请注意，AppData 通常是一个隐藏文件夹，因此您看不到它。在文件资源管理器中启用隐藏文件夹的显示或使用控制台。

您需要删除coqiderc此文件夹中的文件（或使用文本编辑器修复它）。