package coq-elpi
Compatibility metapackage for Elpi extension language after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-elpi-3.2.0.tar.gz
md5=a03ca34ab2926331e0f6ad65e458a8ed
sha512=9e0ad61da82efd42fadecffa0b4d73bf6b8ec67390f303f1b582b711f51728185980b1aaf0030d57fadb9ff4509f1fcc568fafc0d66cd181de77e58b4adb4ce7
Description
Tags
category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpiPublished: 19 Sep 2025
Dev Dependencies
None
Used by (7)
-
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
-
coq-trakt
>= "1.2c" - rocq-hierarchy-builder
Conflicts
None
On This Page