11 search results for "author:"Rocq""

Showing 1 - 11
  1. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.1
    LGPL-2.1-only
    Used by 2 other packages
    23 Feb 2026
  2. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 3 other packages
    02 Apr 2026
  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 3 other packages
    20 Mar 2025
  4. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 1 other packages
    02 Apr 2026
  5. rocq-core

    No documentation

    The Rocq Prover with its prelude
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 3 other packages
    02 Apr 2026
  6. rocq-devtools

    No documentation

    Development tools for Rocq
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 0 other packages
    02 Apr 2026
  7. rocq-native

    No documentation

    Package flag enabling rocq's native-compiler flag
    Rocq
    1
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2025
  8. rocq-prover
    Documentation
    The Rocq Prover with Stdlib
    The Rocq development team, INRIA, CNRS, and contributors
    meta.1
    LGPL-2.1-only
    Used by 0 other packages
    07 Jan 2026
  9. rocq-runtime
    Documentation
    The Rocq Prover -- Core Binaries and Tools
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 4 other packages
    02 Apr 2026
  10. 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 5 other packages
    20 Mar 2025
  11. rocqide

    No documentation

    The Rocq Prover --- GTK3 IDE
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 0 other packages
    02 Apr 2026