I'm having trouble finding the documentation that would describe how to connect (via stdin/out, via socket, or ...)? Specifically the standalone Coq IDE.
"CoqIDE" is the whole editor but I guess you're talking of
coqidetop? I think there aren't too many docs beyond the existing editors, and Coq devs have mentioned plans to replace the whole protocol and backend with an LSP-based one
depending on your use case, other solutions might exist
(but I'm just a Coq user who spends too long on these forums)
If you want documentation on the XML protocol, it can be found in dev/doc/xml-protocol.md. Warning: It's not a very good protocol and there are plans to replace it.
Depending on what you want to do (write an editor or M2M stuff) you might also want to look at serapi.
Last updated: Oct 04 2023 at 22:01 UTC