[ aramo ]
[ Paquet source : coq-elpi ]
Paquet : libcoq-elpi-ocaml-dev (1.13.0-1)
Liens pour libcoq-elpi-ocaml-dev
Ressources Trisquel :
Télécharger le paquet source coq-elpi :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Julien Puydt
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
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.
Autres paquets associés à libcoq-elpi-ocaml-dev
|
|
|
-
- dep: libcoq-elpi-ocaml (= 1.13.0-1)
- Coq plugin embedding Elpi (runtime)
Télécharger libcoq-elpi-ocaml-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| armhf | 1 705,3 ko | 5156 ko | [liste des fichiers] |