package coq

  1. Overview
  2. No Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

V8.6.1.tar.gz
sha256=ba2e6cca27b064dee2c8d52926896baa7909d0a4ccc3599b4b2bc374ac2ed50a
md5=17d6a99370458b752a45299b9197c29b

Description

Published: 18 Jul 2017

Dependencies (5)

  1. conf-findutils build
  2. num
  3. camlp5 < "8"
  4. ocamlfind
  5. ocaml >= "4.01.0" & < "4.06.0"

Dev Dependencies

None

Used by (4)

  1. coqide = "8.6.1"
  2. why = "2.32" | = "2.34"
  3. why3-coq < "1.5.0"
  4. zenon < "0.8.4"

Conflicts

None

OCaml

Innovation. Community. Security.