5 search results for "author:"The Coq development team, INRIA, CNRS, and contributors""

Showing 1 - 5
  1. 8.19.0
    LGPL-2.1-only
    Used by 3 other packages
    27 Jan 2024
  2. The Coq Proof Assistant -- Core Binaries and Tools
    8.19.0
    LGPL-2.1-only
    Used by 5 other packages
    27 Jan 2024
  3. The Coq Proof Assistant -- Standard Library
    8.19.0
    LGPL-2.1-only
    Used by 2 other packages
    27 Jan 2024
  4. 8.19.0
    LGPL-2.1-only
    Used by 0 other packages
    30 Jan 2024
  5. The Coq Proof Assistant, XML protocol server
    8.19.0
    LGPL-2.1-only
    Used by 2 other packages
    27 Jan 2024