package coqide
IDE of the Coq formal proof management system.
Install
Dune Dependency
Authors
Maintainers
Sources
V8.7.0.tar.gz
sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297
md5=4d79181b17c63fe5287aeaf6263077e7
Description
Published: 18 Oct 2017
Dependencies (5)
- conf-gtksourceview
- lablgtk
-
coq
= "8.7.0" - camlp5
-
ocaml
>= "4.02.3" & < "4.05.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page