package coq-serapi
Sexp Protocol for machine-based interaction with the Coq Proof Assistant
Install
Dune Dependency
Authors
Maintainers
Sources
8.7.1+0.4.1.tar.gz
sha256=5cab3f1d3bd3d574d0e5d2aff543c1cbb6c056e2450113476bd7aee7db0d8db3
md5=7a1ec538a12cdfa36c8f5adc54941b37
Description
Published: 11 Jan 2018
Dependencies (11)
-
ppx_sexp_conv
< "v0.11.0"
-
ppx_driver
build & >= "v0.10.1"
- sexplib
-
cmdliner
>= "0.9.6" & < "1.1.0"
-
ppx_deriving
>= "4.2.1"
-
ppx_import
>= "1.4" & < "2.0"
-
ocamlbuild
build
-
ocamlfind
build
- camlp5
-
coq
>= "8.7.1+1" & < "8.8"
-
ocaml
>= "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page