package coq

  1. Overview
  2. No Docs
Formal proof management system.

Install

Dune Dependency

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

Authors

Maintainers

  1. D
    dev@clarus.me

Sources

coq-8.4pl6.tar.gz
md5=2334a98b64578cb81d2b4127e327b368

Description

Version built using camlp4

Published: 10 Jun 2015

Dependencies (5)

  1. conf-findutils build
  2. num
  3. ocamlbuild build
  4. camlp4
  5. ocaml >= "3.11.2" & < "4.03.0"

Dev Dependencies

None

Used by (2)

  1. why = "2.32" | = "2.34"
  2. zenon < "0.8.4"

Conflicts (1)

  1. camlp5 < "8"