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 (28)

Authors

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

Maintainers

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

Description

Added to opam-repository:

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. binary_tree

Conflicts

None