package coqide
IDE of the Coq formal proof management system.
Install
Dune Dependency
Authors
Maintainers
Sources
V8.5pl2.tar.gz
sha256=c2339575968aff367b4f35d2f77e182204b217326127fbd76235921112e46511
md5=e7570f73e69a6b7490c31df392ed98f7
Description
Published: 12 Jul 2016
Dependencies (5)
- conf-gtksourceview
- lablgtk
-
coq
= "8.5.2" - camlp5
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page