- libelpi-ocaml-dev
- libcoq-core-ocaml-dev (>= 8.17)
- libcoq-stdlib-z3q11
- libcoq-core-ocaml-sa2u3
- libelpi-ocaml-5fnf4
- libppx-deriving-ocaml-d4a55
- libstdlib-ocaml-0d647
- libzarith-ocaml-mtsj7
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: 60.4 MB
Architectures: arm64 amd64