package coq

  1. Overview
  2. Docs
Compatibility metapackage for Coq after the Rocq renaming

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

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

Description

Published: 14 Oct 2025

Dependencies (3)

  1. coqide-server = version
  2. coq-stdlib = "9.0.0"
  3. coq-core = version

Dev Dependencies

None

Used by (2)

  1. binary_tree
  2. coq-waterproof >= "3.0.0+9.0"

Conflicts

None