coqide

Maintainer dev@clarus.me
Dependencies
& camlp5
coq 8.4.6
lablgtk >= 2.12.0
ocamlbuild
Published Apr 19, 2015
Source [http] http://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz
2334a98b64578cb81d2b4127e327b368
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4.6/opam

IDE of the coq formal proof management system

No package is dependent