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.2.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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 4 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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 2 other packages
    Added to opam-repository
  5. rocq-core
    Documentation
    The Rocq Prover with its prelude
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 5 other packages
    Added to opam-repository
  6. rocq-devtools
    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
    Added to opam-repository
  7. rocq-native

    No documentation

    Package flag enabling rocq's native-compiler flag
    Rocq
    1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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 2 other packages
    Added to opam-repository
  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 7 other packages
    Added to opam-repository
  10. rocq-stdlib
    Documentation
    The Rocq Proof Assistant -- Standard Library
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.0
    LGPL-2.1-only
    Used by 7 other packages
    Added to opam-repository
  11. rocqide
    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
    Added to opam-repository