Package : coq-ide-server
Package details
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
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
List of RPMs
- coq-ide-server-8.16.1-1.mga9.i586.rpm (Mageia cauldron, i586 media, core-release) Install