package coqide-server

  1. Overview
  2. No Docs
The Rocq Prover, XML protocol server

Install 

dune-project
 Dependency

rocq-prover.org Edit opam file Versions (12)

Authors

  1. T
    The Rocq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Rocq development team <rocq+rocq-development@discoursemail.com>

Sources

rocq-9.1.1.tar.gz
sha256=35cd03fc4193969b1cce01190340e5c129c1ba8f02242a9e6dff4b83be118759

Description

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

This package provides the coqidetop language server, an implementation of Rocq's XML protocol which allows clients, such as RocqIDE, to interact with the Rocq Prover in a structured way.

Published: 23 Feb 2026

Dependencies (2)

  1. rocq-runtime = version
  2. dune >= "3.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by (2)

  1. coq >= "9.1.1"
  2. rocqide >= "9.1.1"

Conflicts

None