package coqide
IDE of the Coq formal proof management system.
Install
Dune Dependency
Authors
Maintainers
Sources
V8.7.1.tar.gz
sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03
md5=15347f45471e2d5277c60585297cd3e0
Description
Published: 17 Dec 2017
Dependencies (5)
- conf-gtksourceview
- lablgtk
-
coq
= "8.7.1" | = "8.7.1+1" | = "8.7.1+2" - camlp5
-
ocaml
>= "4.02.3"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page