[ aramo ]
[ Källkod: coq-elpi ]
Paket: libcoq-elpi-ocaml-dev (1.13.0-1)
Länkar för libcoq-elpi-ocaml-dev
Trisquelresurser:
Hämta källkodspaketet coq-elpi:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Julien Puydt
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libcoq-elpi-ocaml-dev
|
|
|
-
- dep: libcoq-elpi-ocaml (= 1.13.0-1)
- Coq plugin embedding Elpi (runtime)
Hämta libcoq-elpi-ocaml-dev
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 1.671,4 kbyte | 5652 kbyte | [filförteckning] |
| arm64 | 1.696,0 kbyte | 5898 kbyte | [filförteckning] |
| armhf | 1.705,3 kbyte | 5156 kbyte | [filförteckning] |
| ppc64el | 1.718,3 kbyte | 6160 kbyte | [filförteckning] |