- libelpi-ocaml-dev
- libcoq-core-ocaml-dev (>= 8.17)
- libcoq-stdlib-49fx0
- libcoq-core-ocaml-tvu74
- libelpi-ocaml-a6z29
- libstdlib-ocaml-fyga0
- libzarith-ocaml-zlfv4
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: 26.2 MB
Architectures: amd64 arm64