coqide-server

API

Library coqide-server.core

• Document

Library coqide-server.protocol

• Interface * Declarative part of the interface of RocqIDE calls to Rocq
• Richpp This module offers semi-structured pretty-printing.
• Serialize
• Xml_lexer
• Xml_parser Xml Light Parser
• Xml_printer
• Xmlprotocol * Applicative part of the interface of RocqIDE calls to Rocq