package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Authors
Maintainers
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)
-
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"
-
ppx_import
build & >= "1.5-3" & < "2.0"
-
dune
>= "2.0.1"
-
sexplib
>= "v0.13.0"
-
ocamlfind
>= "1.8.0"
-
cmdliner
>= "1.1.0"
-
coq
>= "8.18" & < "8.19"
-
ocaml
>= "4.09.0"
Dev Dependencies
Used by (1)
-
coq-lsp
= "0.1.7+8.18" | >= "0.1.8+8.18"
Conflicts (1)
-
result
< "1.5"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page