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

Showing 1 - 1
  1. coq-primitive

    No documentation

    Coq primitive object OCaml library
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 0 other packages
    26 Jan 2026