You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-rewriter

Overview
Homepage

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

github.com Edit opam file Versions (8)

Authors

G

Google Inc.
M

Massachusetts Institute of Technology

Maintainers

J

Jason Gross <jgross@mit.edu>

Sources

v0.0.12.tar.gz

sha512=e0c45d39c0d28cd786290292b70d788ab9e6327a4afe9c37e4427dc97f9c6a0d00b0865da25ae2624d7c0f4f339754962bded3a478576e6f6896bbf31904689e

Description

Published: 06 Dec 2024

Dependencies (3)

coq >= "8.18~"
ocaml build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0")
conf-findutils build

Dev Dependencies

None

Used by (1)

coq-fiat-crypto >= "0.1.2"

Conflicts