- libelpi-ocaml-dev
- libcoq-core-ocaml-dev (>= 8.17)
- libcoq-stdlib-1ns11
- libcoq-core-ocaml-ub9d2
- libelpi-ocaml-bnh67
- libppx-deriving-ocaml-k42a0
- libstdlib-ocaml-m4xw9
- libzarith-ocaml-h79v1
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.
Installed Size: 66.4 MB
Architectures: amd64 arm64