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