Ubuntu

Binary package “libcoq-elpi-ocaml” in ubuntu kinetic

  1. Kinetic (22.10)
  2. libcoq-elpi-ocaml

Coq plugin embedding Elpi (runtime)

 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.
 .
 This package provides runtime libraries for the elpi plugin.

Source package