小编P b*_*sak的帖子

我从默认安装程序在我的系统中安装了 Coq。然后我在我现有的 emacs 中添加了一般证明。但问题是当我尝试在 emacs 中运行命令时，我从 emacs 中发现以下内容，

搜索程序没有这样的文件或目录 coqtop

我相信有一些配置错误。

期待你的想法。