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

Showing 1 - 3
  1. coq-stdlib

    No documentation

    Compatibility metapackage for Coq Stdlib library after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.0
    LGPL-2.1-only
    Used by 11 other packages
    11 Feb 2026
  2. rocq-primitive

    No documentation

    Rocq primitive object OCaml library
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 0 other packages
    26 Jan 2026
  3. rocq-stdlib

    No documentation

    The Rocq Proof Assistant -- Standard Library
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.0
    LGPL-2.1-only
    Used by 31 other packages
    11 Feb 2026