1 search result for "author:"The Rocq development team, INRIA, CNRS, and contributors""

Showing 1 - 1
  1. 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