package coq-elpi
Compatibility metapackage for Elpi extension language after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-elpi-3.0.0.tar.gz
md5=4030bc2d1d18a22a3f8e823286a3b52b
sha512=4dcba8a9be7735e7395d99d37d0ad3331d52f506321a1625bca59305cc5f63a6b9ee60cd78deb5e44b431eb84fd7d1a33e23a5cf2c9a2c89cbdb14c791d1689b
Description
Tags
category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpiPublished: 18 Jul 2025
Dev Dependencies
None
Used by (7)
-
coq-coqeal
>= "2.1.0" -
coq-corn
>= "8.20.0" -
coq-hierarchy-builder
= "1.8.1" - coq-mathcomp-algebra-tactics
- coq-sniper
-
coq-trakt
>= "1.2c" - rocq-hierarchy-builder
Conflicts
None
On This Page