Bug#1011648: ITP: coq-serapi -- Coq plugin for data serialization
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@debian.org
* Package name : coq-serapi
Version : 0.15.0
Upstream Author : Emilio Jesús Gallego Arias et al
* URL : https://github.com/ejgallego/coq-serapi
* License : LGPL-2.1
Programming Lang: OCaml
Description : Coq plugin for data serialization
This package provides automatic serialization of Coq's
internal data structures from/to JSON or S-Expressions,
to allow for machine-to-machine interaction with Coq.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.
Cheers,
J.Puydt
Reply to: