I have been writing some Coq code in Org, but when I try to run a source block, I get the following message:
No org-babel-execute function for coq!
I have tried to initialize the coq language in the org-babel-load-languages variable, but coq isn't an option on the list.
Is there anyway of running coq src blocks outside of the temporary buffer? My overall goal is to be able to define terms in one block and reference them in another, which activating the language should hopefully let me do (I think).