package coqide
IDE of the Coq formal proof management system.
Install
Dune Dependency
Authors
Maintainers
Sources
V8.7.2.tar.gz
md5=470c8f2bd74a085e1f71d5e4770e64e7
Description
Published: 25 Feb 2018
Dependencies (5)
- conf-gtksourceview
- lablgtk
-
coq
= "8.7.2" - camlp5
-
ocaml
>= "4.02.3"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page