9 search results for "author:"The Rocq development team, INRIA, CNRS, and contributors""

Showing 1 - 9
  1. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 0 other packages
    20 Mar 2025
  2. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 4 other packages
    20 Mar 2025
  3. coq-stdlib
    Documentation
    Compatibility metapackage for Coq Stdlib library after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  4. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  5. rocq-core
    Documentation
    The Rocq Prover with its prelude
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  6. rocq-prover
    Documentation
    The Rocq Prover with Stdlib
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Mar 2025
  7. rocq-runtime
    Documentation
    The Rocq Prover -- Core Binaries and Tools
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 4 other packages
    20 Mar 2025
  8. rocq-stdlib
    Documentation
    The Rocq Proof Assistant -- Standard Library
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  9. rocqide
    Documentation
    The Rocq Prover --- GTK3 IDE
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 0 other packages
    20 Mar 2025