8 search results for "author:"Coq""

Showing 1 - 8
  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-native

    No documentation

    Package flag enabling coq's native-compiler flag
    Coq
    1
    Used by 0 other packages
    07 Dec 2020
  4. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    19 Nov 2015
  5. 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
  6. 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
  7. 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
  8. psmt2-frontend
    Documentation
    The psmt2-frontend project
    Albin Coquereau
    0.4.0
    Apache-2.0
    Used by 1 other packages
    26 Mar 2021