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

Published: 20 Apr 2015

Dependencies (5)

  1. conf-findutils build
  2. num
  3. ocamlbuild build
  4. camlp5 < "8"
  5. ocaml >= "3.11.2" & < "4.03"

Dev Dependencies

None

Used by (3)

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

Conflicts

None

OCaml

Innovation. Community. Security.