package coq-serapi

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

Install

Dune Dependency

Authors

Maintainers

Sources

8.7.2+0.4.12.tar.gz
sha256=10ff38672781a3b6fe0bd0babe96309efffabb6634a8942f3a096d3581fd065f
md5=1473905ab397c8ea8edf8cc26b7c3bc9

Description

Published: 24 Feb 2018

Dependencies (11)

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

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.