package coq-serapi
Sexp-based Protocol for machine-based interaction with the Coq Proof Assistant
Install
Dune Dependency
Authors
Maintainers
Sources
8.8.0+0.5.5.tar.gz
sha512=ea96e4c5b032601e07fd092e4bc8769335c5efb36a67d8a4ae8507cb7598c27f06d7ab797c622af11c93c3f32ca748359a00b42b53a52f952c037c2da6b6843c
Description
Published: 23 Sep 2018
Dependencies (10)
-
ppx_sexp_conv
>= "v0.11.0" & < "v0.13" -
ppx_deriving
>= "4.2.1" -
ppx_import
>= "1.4" & < "2.0" -
ocamlbuild
build -
ocamlfind
build -
sexplib
< "v0.13" -
cmdliner
>= "0.9.8" & < "1.1.0" - camlp5
-
coq
>= "8.8.0" & < "8.9" -
ocaml
>= "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page