Я установил Coq в моей системе из установщика по умолчанию. Затем я добавил общее доказательство в мои существующие emacs. Но проблема в том, что когда я пытаюсь запустить команду в emacs, я нахожу из emacs следующее:
Поиск программы отсутствует, такой файл или каталог coqtop
Я считаю, что есть некоторые ошибки конфигурации.
Ждем ваших мыслей.