coq-serapi

Sexp Protocol for machine-based interaction with the Coq Proof Assistant.

opam install coq-serapi.8.7.1+0.4.1
homepage
https://github.com/ejgallego/coq-serapi
license
GPL 3
bugs tracker
https://github.com/ejgallego/coq-serapi/issues
dependencies
coq (>= 8.7.1+1 & < 8.8) & camlp5 & ocamlfind & ocamlbuild & ppx_import >= 1.4 & ppx_deriving >= 4.2.1 & cmdliner & sexplib & ppx_driver >= v0.10.1 & ppx_sexp_conv
source
https://github.com/ejgallego/coq-serapi/archive/8.7.1+0.4.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-serapi/coq-serapi.8.7.1+0.4.1