4 search results for "author:"Coq""

Showing 1 - 4
  1. coq-native

    No documentation

    Package flag enabling coq's native-compiler flag
    Coq
    1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.20.1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  4. psmt2-frontend
    Documentation
    The psmt2-frontend project
    Albin Coquereau
    0.4.0
    Apache-2.0
    Used by 2 other packages
    Added to opam-repository