Serialization library and protocol for machine interaction with the Coq proof assistant
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: 20 Feb 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.16" & < "8.17"
-
ocaml
>= "4.09.0"
Reverse Dependencies (1)
Conflicts (1)
-
result
< "1.5"
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
coq-serapi-8.16.0.0.16.3.tbz
sha256=66137df53e01398a26e9e51056af7439997bcf562fbe4503946fe89e0c5df443
sha512=5c71f7acd4537c33853122d9c526e61f35d2934504c77ce95196f8d595f1c619a680fccd46ba9deb69b509eeb936984056380b18b65fae617ae1cce704df90a1