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

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