[ aramo ]
[ 源代码: coq-elpi ]
软件包: libcoq-elpi-ocaml-dev (1.13.0-1)
libcoq-elpi-ocaml-dev 的相关链接
Trisquel 的资源:
下载源码包 coq-elpi:
维护者:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
外部的资源:
- 主页 [github.com]
相似软件包:
Coq plugin embedding Elpi (devel)
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.
This package provides libraries needed to develop for the elpi plugin.
其他与 libcoq-elpi-ocaml-dev 有关的软件包
|
|
|
-
- dep: libcoq-elpi-ocaml (= 1.13.0-1)
- Coq plugin embedding Elpi (runtime)