- libelpi-ocaml-dev
- libcoq-core-ocaml-dev (>= 8.15)
- libcoq-stdlib-ctiy2
- libcoq-core-ocaml-wc485
- libelpi-ocaml-k4ip2
- libzarith-ocaml-4dps0
- ocaml-base-4.13.1
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: 19.1 MB
Architectures: arm64 amd64