coq-serapi

Sexp Protocol for machine-based interaction with the Coq Proof Assistant
Description
Install
Published
24 Feb 2018
Maintainers
Sources
8.7.2+0.4.12.tar.gz
md5=1473905ab397c8ea8edf8cc26b7c3bc9
Dependencies
ppx_sexp_conv
< "v0.11.0"
ppx_driver
build & >= "v0.10.1"
ppx_deriving
>= "4.2.1"
ppx_import
>= "1.4" & < "2.0"
cmdliner
>= "0.9.8" & < "1.1.0"
coq
>= "8.7.2" & < "8.8"
ocaml
>= "4.06.0"
Reverse Dependencies