package coq-elpi
Compatibility metapackage for Elpi extension language after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-elpi-3.1.0.tar.gz
md5=2b4cbb2a9a0ec0b3bcf67746d10ccbe0
sha512=cf03651c9ddd661fa587d8faefb4b79cd840eeba67f9cc161ae29391e1972d54c3cec110149683138543e32f21c70fcfbf9978aa19befcf74a5e96ce88e55b9c
Description
Tags
category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpiPublished: 02 Sep 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
< "1.2.3" | >= "1.2.7" - coq-sniper
-
coq-trakt
>= "1.2c" - rocq-hierarchy-builder
Conflicts
None
On This Page