package coq

  1. Overview
  2. No 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 (1)

  1. binary_tree

Conflicts

None