[ 源代码： coq-elpi ]
软件包：libcoq-elpi（1.19.3-2 以及其他的）
Coq plugin embedding Elpi
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.
其他与 libcoq-elpi 有关的软件包
|
|
|
|
-
- dep: libcoq-core-ocaml-dev (>= 8.17)
- development libraries and tools for Coq
-
- dep: libcoq-core-ocaml-lsl44
- 软件包暂时不可用
-
- dep: libcoq-stdlib-wsmp7
- 软件包暂时不可用
-
- dep: libelpi-ocaml-08ej5
- 本虚包由这些包填实： libelpi-ocaml
-
- dep: libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
-
- dep: libstdlib-ocaml-vneg5
- 本虚包由这些包填实： libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2
- 本虚包由这些包填实： libzarith-ocaml