Re: coq related error when exporting to latex.

[Ihor Radchenko]

abdullah uyu <abdullahuyu@gmail.com> writes:

> i get the following error when i try to export to latex:
>
> org-babel-coq-initiate-session: ‘run-coq’ not defined, load
> coq-inferior.el

Most likely, ob-coq expects you to have coq major-mode installed. Note
that ob-coq is currently not maintained and might be outdated.

Best,
Ihor