sci-mathematics@gentoo.org Gentoo Mathematics Project 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. https://github.com/ejgallego/coq-serapi/releases/ https://github.com/ejgallego/coq-serapi/issues/ ejgallego/coq-serapi