coq

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

On This Page

Libraries
1. coqide-server.core
2. coqide-server.protocol

coqide-server.core
- Document
  - signals
coqide-server.protocol
- Interface
- Richpp
- Serialize
- Xml_lexer
- Xml_parser
- Xml_printer
- Xmlprotocol

Legend:
Library
Module
Module type
Parameter
Class
Class type

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