- libelpi-ocaml-dev
- libcoq-core-ocaml-dev (>= 8.17)
- libcoq-stdlib-dik25
- libcoq-core-ocaml-ajzi5
- libelpi-ocaml-t6nk2
- libppx-deriving-ocaml-ikee3
- libstdlib-ocaml-fxjy5
- libzarith-ocaml-f1se9
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