package coq-elpi
Compatibility metapackage for Elpi extension language after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-elpi-3.3.1.tar.gz
md5=eb5ddbdeeb69c8fd7c5a15d6a67d90c1
sha512=50c7a091573df614d3d1f914ae236a975fbccec5337f08e99f4e3c507a203494760e00c8699d4c5426efb057bca3e7a2100602a4766b4f3764dae5b8c090a1de
Description
Tags
category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpiPublished: 12 Mar 2026
Dev Dependencies
None
Used by (7)
-
coq-coqeal
>= "2.1.1" -
coq-corn
>= "8.20.0" -
coq-hierarchy-builder
= "1.8.1" -
coq-infotheo
>= "0.9.5" -
coq-mathcomp-algebra-tactics
< "1.2.3" | >= "1.2.7" - coq-sniper
-
rocq-hierarchy-builder
< "1.10.2"
Conflicts
None
On This Page