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