package coqide

  1. Overview
  2. No Docs
IDE of the coq formal proof management system

Install

Dune Dependency

Edit opam file Versions (42)

Authors

Maintainers

  1. D
    dev@clarus.me

Sources

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

Description

Published: 20 Apr 2015

Dependencies (5)

  1. ocamlbuild build
  2. lablgtk >= "2.12.0"
  3. coq = "8.4.6"
  4. camlp5
  5. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None