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.4pl5.tar.gz
sha256=35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
md5=7839005b48527a85149da950bd2ac006
Description
Published: 25 Oct 2014
Dependencies (5)
-
ocamlbuild
build -
lablgtk
>= "2.12.0" -
coq
= "8.4.5" - camlp5
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page