package coq-serapi

  1. Overview
  2. Docs
Sexp-based 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.8.0+0.5.5.tar.gz
sha512=ea96e4c5b032601e07fd092e4bc8769335c5efb36a67d8a4ae8507cb7598c27f06d7ab797c622af11c93c3f32ca748359a00b42b53a52f952c037c2da6b6843c

Description

Published: 23 Sep 2018

Dependencies (10)

  1. ppx_sexp_conv >= "v0.11.0" & < "v0.13"
  2. ppx_deriving >= "4.2.1"
  3. ppx_import >= "1.4" & < "2.0"
  4. ocamlbuild build
  5. ocamlfind build
  6. sexplib < "v0.13"
  7. cmdliner >= "0.9.8" & < "1.1.0"
  8. camlp5
  9. coq >= "8.8.0" & < "8.9"
  10. ocaml >= "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None