Eu acabei de descobrir que eu tenho que incluir o caminho para coqtop para o caminho do emacs. ou você pode ter isso no caminho do seu sistema. Nesse caso você tem que invocar o emacs do shell.
Instalei o Coq no meu sistema a partir do instalador padrão. Então eu adicionei a prova geral aos meus emacs existentes. Mas o problema é quando tento executar um comando no emacs eu encontro o seguinte do emacs,
Procurando por programas sem esse arquivo ou diretório coqtop
Acredito que haja alguns erros de configuração.
Aguardando seus pensamentos.
Diferente do caso do OP, mas de um problema semelhante: A mensagem de erro Searching for program: no such file or directory, coqtop também pode ocorrer se você não tiver instalado o coq. Então o comando coqtop estará ausente do seu sistema.
Para diagnosticar, execute which coqtop . Se o resultado estiver vazio, não está instalado ou não no seu caminho.
No mac, resolvi esse problema instalando o coq com o homebrew usando brew install coq