coq-serapi
Serialization library and protocol for 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). SerAPI is a proof-of-concept and should be considered alpha-quality.
homepage ↗ github: ejgallego/coq-serapi
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 0.20.0 | 1 | 13 h | details › |
Versions & arches
Use flags of 0.20.0
- emacs Add support for GNU Emacs
- +ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)