abdullah uyu <abdullah...@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
