coq 8.16.1

Libraries

This package provides the following libraries (via dune):

coqide-server.core

Documentation: Document

Dependencies: coq-core.boot, coq-core.lib

coqide-server.protocol

Documentation:

• Interface * Declarative part of the interface of CoqIDE calls to Coq
• 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 CoqIDE calls to Coq

Dependencies: coq-core.lib