package coq-serapi
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-serapi-8.19.0.0.19.2.tbz
sha256=2106a7f8bc1b38a2a0da6f9425aa21a57c508771da75c59c0b08481e9ec9a083
sha512=a09a6d6f37724bf5aa0166e7064e703a8e8d4d939a474353b515bb55b764b988a18a5979a0eba97d9bbc12d89502aeec0788f35c5c8e6917845046e90737b5fc
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: 22 Mar 2024
Dependencies (13)
-
ppx_deriving_yojson
>= "3.4" -
yojson
>= "1.7.0" -
ppx_hash
>= "v0.13.0" -
ppx_compare
>= "v0.13.0" -
ppx_sexp_conv
>= "v0.13.0" -
ppx_deriving
>= "4.2.1" & < "6" -
ppx_import
build & >= "1.5-3" & < "2.0" -
dune
>= "2.0.1" -
sexplib
>= "v0.13.0" -
ocamlfind
>= "1.8.0" & < "1.9.8" -
cmdliner
>= "1.1.0" -
coq
>= "8.19" & < "8.20" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by (1)
-
coq-lsp
= "0.1.8+8.19" | = "0.1.9+8.19"
Conflicts (1)
-
result
< "1.5"
On This Page