coq-serapiversion
Serialization library and protocol for machine interaction with the Coq proof assistant
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).
Authors | Emilio Jesús Gallego Arias, Karl Palmskog, Clément Pit-Claudel and Kaiyu Yang |
---|---|
License | GPL-3.0-or-later |
Published | |
Homepage | https://github.com/ejgallego/coq-serapi |
Issue Tracker | https://github.com/ejgallego/coq-serapi/issues |
Maintainer | e@x80.org |
Dependencies |
|
Source [http] | https://github.com/ejgallego/coq-serapi/releases/download/8.15.0%2B0.15.3/coq-serapi-8.15.0.0.15.3.tbz sha256=8eb6117bccd54843b5553562f8925f8dc24f502e323479b4eb6e7e28265c8fda sha512=049e071e43eaa418b37cbc6222fb9244ce50f136084cbfd96ee0c545f1d031f57dc72a2de8a6da08225194bc851ec1c51eaf5d1f1299b5003d78f4a4ef5ea4d9 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-serapi/coq-serapi.8.15.0+0.15.3/opam |
No package is dependent