package coq-elpi
Compatibility metapackage for Elpi extension language after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-elpi-3.4.0.tar.gz
md5=523c45e724ff1fc1db9dca8a05fb8784
sha512=8fb286c3cdd010e26378e6b4e682a48bae3c1052581f8025b75dd9db00cfd2dd2256193e6df75189687da13ec8a6b47590cd9f6544c3388bf6c62fce67493a61
Description
Tags
category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpiPublished: 19 May 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