Summary: The coqidetop language server

Description:
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.
This package provides the coqidetop language server, an implementation of
Coq's XML protocol which allows clients, such as CoqIDE, to interact with
Coq in a structured way.

URL: https://coq.inria.fr
License: LGPL-2.1-only AND MIT AND BSD-3-Clause

Maintainer: nobody