package coq-rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.16.tar.gz
sha512=c97347622ffdc9c5b0ce7a8118ccdc03789a19812d66752e12f8d2701678839369085f0289e7a42184e6e0eed0f0bd8188b6d6462dedaed93314d535ae039af6
Description
Dependencies (2)
-
ocaml
build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0") -
conf-findutils
build
Dev Dependencies (1)
-
coq
(>= "8.18~" & < "9.3~") | = "dev"
Used by (1)
-
coq-fiat-crypto
>= "0.1.2"
Conflicts
None
On This Page