Bug#999483: ITP: coq-elpi -- Coq plugin embedding Elpi
Package: wnpp
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-CC: debian-ocaml-maint@lists.debian.org
Severity: wishlist
* Package name : coq-elpi
Version : 1.11.2
Upstream Author : Enrico Tassi
* URL : https://github.com/LPCIC/coq-elpi
* License : LGPL 2.1+
Programming Lang: OCaml
Description : Coq plugin embedding Elpi
This package makes it possible to define new commands and tactics
for Coq in Elpi.
.
Elpi implements a lambda-Prolog interpreter enriched with
constraint handling rules.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team, where I
already packaged src:elpi, with the idea that I will want to package
next hierarchy-builder, which will be new deps for src:ssreflect,
already maintained there.
Cheers,
J.Puydt
Reply to: