package coq-serapi

  1. Overview
  2. Docs
Sexp Protocol for machine-based interaction with the Coq Proof Assistant

Install

Dune Dependency

github.com Edit opam file Versions (44)

Authors

  1. E
    Emilio Jesús Gallego Arias

Maintainers

  1. E
    e@x80.org

Sources

8.7.1+0.4.1.tar.gz
md5=7a1ec538a12cdfa36c8f5adc54941b37

Description

Published: 11 Jan 2018

Dependencies (11)

  1. ppx_sexp_conv < "v0.11.0"
  2. ppx_driver build & >= "v0.10.1"
  3. sexplib
  4. cmdliner >= "0.9.6" & < "1.1.0"
  5. ppx_deriving >= "4.2.1"
  6. ppx_import >= "1.4" & < "2.0"
  7. ocamlbuild build
  8. ocamlfind build
  9. camlp5
  10. coq >= "8.7.1+1" & < "8.8"
  11. ocaml >= "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None