package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

coq.inria.fr Edit opam file Versions (49)

Authors

  1. T
    The Coq development team, INRIA, CNRS, and contributors.

Maintainers

  1. C
    coqdev@inria.fr

Sources

V8.10.0.tar.gz
sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724

Description

Published: 13 Oct 2019

Dependencies (4)

  1. conf-findutils build
  2. num
  3. ocamlfind build
  4. ocaml >= "4.05.0" & < "4.10"

Dev Dependencies

None

Used by (4)

  1. coq-serapi >= "8.10.0+0.7.0" & < "8.11.0+0.11.0"
  2. coqide = "8.10.0"
  3. why = "2.32" | = "2.34"
  4. why3-coq >= "1.3.0" & < "1.7.0"

Conflicts

None