package coq-rewriter
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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.2.tar.gz
sha512=3e555976dd2e2074253b0c1cfa473b436ddc08ca96125a42eff989c592814688775d17ef8a7ba0df32cea432f4f84287ef06425b273069faf58ce666e1009ce7
Description
On This Page