coq-serapi

Sexp-based Protocol for machine-based interaction with the Coq Proof Assistant
Description
Install
Published
26 Oct 2018
Maintainers
Sources
8.8.0+0.5.6.tar.gz
sha512=6a3bdafde912f2f3de3c0cdc5f8ddd865fd4260dde28f3f39fe29bc1fae4327a85ee3916aa808779aae5b5d4a1063ba59bb89854cd4f0af8b612efce9ae65551
Dependencies
ppx_sexp_conv
>= "v0.11.0" & < "v0.13"
ppx_deriving
>= "4.2.1"
ppx_import
>= "1.4" & < "2.0"
sexplib
< "v0.13"
cmdliner
>= "0.9.8" & < "1.1.0"
coq
>= "8.8.0" & < "8.9"
ocaml
>= "4.06.0"
Reverse Dependencies