package coq

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.4pl6.tar.gz
sha256=a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
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"
OCaml

Innovation. Community. Security.