coq-serapi

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

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