package coq-serapi

  1. Overview
  2. Docs
Serialization library and protocol for machine interaction with the Coq proof assistant

Install

github.com Readme Changelog GPL-3.0-or-later License Edit opam file

Authors

  1. E
    Emilio Jesús Gallego Arias
  2. K
    Karl Palmskog
  3. C
    Clément Pit-Claudel
  4. K
    Kaiyu Yang

Maintainers

  1. E
    e@x80.org

Sources

coq-serapi-8.18.0.0.18.1.tbz
sha256=3958ec27603e3f927a74f11d02d98390e8ecda942bb23f37ff6fa575b31a8158
sha512=d33f9340de6e1426a42192da3610a7636b0201baa166cf788926b866738ae299219439bc22112cc81591c565dd857f66e53a41a3cfe420844f31fb6077abe57b

Description

SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps).

Published: 15 Sep 2023

Dependencies (13)

  1. ppx_deriving_yojson >= "3.4"
  2. yojson >= "1.7.0"
  3. ppx_hash >= "v0.13.0"
  4. ppx_compare >= "v0.13.0"
  5. ppx_sexp_conv >= "v0.13.0"
  6. ppx_deriving >= "4.2.1"
  7. ppx_import build & >= "1.5-3" & < "2.0"
  8. dune >= "2.0.1"
  9. sexplib >= "v0.13.0"
  10. ocamlfind >= "1.8.0"
  11. cmdliner >= "1.1.0"
  12. coq >= "8.18" & < "8.19"
  13. ocaml >= "4.09.0"

Dev Dependencies

None

Used by (1)

  1. coq-lsp = "0.1.7+8.18" | >= "0.1.8+8.18"

Conflicts (1)

  1. result < "1.5"