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

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