Stream: Coq users

Topic: How do you connect to Coq IDE (standalone) for XML?


view this post on Zulip Luna Tuna (Sep 02 2022 at 20:47):

I'm having trouble finding the documentation that would describe how to connect (via stdin/out, via socket, or ...)? Specifically the standalone Coq IDE.

view this post on Zulip Paolo Giarrusso (Sep 02 2022 at 21:44):

"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

view this post on Zulip Paolo Giarrusso (Sep 02 2022 at 21:45):

depending on your use case, other solutions might exist

view this post on Zulip Paolo Giarrusso (Sep 02 2022 at 21:45):

(but I'm just a Coq user who spends too long on these forums)

view this post on Zulip Ali Caglayan (Sep 03 2022 at 11:16):

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.

view this post on Zulip Michael Soegtrop (Sep 05 2022 at 07:32):

Depending on what you want to do (write an editor or M2M stuff) you might also want to look at serapi.


Last updated: Feb 01 2023 at 12:30 UTC