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

Showing 1 - 5
  1. coq
    Documentation
    The Coq Proof Assistant
    The Coq development team, INRIA, CNRS, and contributors
    8.19.2
    LGPL-2.1-only
    Used by 3 other packages
    24 Jun 2024
  2. coq-core
    Documentation
    The Coq Proof Assistant -- Core Binaries and Tools
    The Coq development team, INRIA, CNRS, and contributors
    8.19.2
    LGPL-2.1-only
    Used by 5 other packages
    24 Jun 2024
  3. coq-stdlib
    Documentation
    The Coq Proof Assistant -- Standard Library
    The Coq development team, INRIA, CNRS, and contributors
    8.19.2
    LGPL-2.1-only
    Used by 2 other packages
    24 Jun 2024
  4. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.19.2
    LGPL-2.1-only
    Used by 0 other packages
    29 Jun 2024
  5. coqide-server
    Documentation
    The Coq Proof Assistant, XML protocol server
    The Coq development team, INRIA, CNRS, and contributors
    8.19.2
    LGPL-2.1-only
    Used by 2 other packages
    24 Jun 2024