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.4pl4.tar.gz
sha256=06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
md5=6a9f61cf0ece644b170f722fbc8cf2a1
Description
Published: 05 Jun 2014
Dependencies (5)
-
ocamlbuild
build
-
lablgtk
>= "2.12.0"
-
coq
= "8.4pl4"
- camlp5
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page