package coqide
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
IDE of the Coq formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.9.0.tar.gz
sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0
md5=490c89609c1271fe7f20e6ea1bd107b5
Description
Published: 27 Jan 2019
Dependencies (5)
- conf-gtksourceview
- lablgtk
-
coq
= version - camlp5
-
ocaml
>= "4.02.3"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page