package coq-rewriter

  1. Overview
  2. No Docs
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

  1. G
    Google Inc.
  2. M
    Massachusetts Institute of Technology

Maintainers

  1. J
    Jason Gross <jgross@mit.edu>

Sources

v0.0.10.tar.gz
sha512=b32b03334f9679ae33e51b8745614b1acf7faa76f89ac72c3ba90a314c0981f74f9f0ade8d4fad332e0ab411fba6d4acc39f7d778e3f75d3b21ccc22167946e0

Description

Tags

logpath:Rewriter

Published: 24 Dec 2023

Dependencies (3)

  1. coq >= "8.15~" & < "8.20~"
  2. ocaml build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0")
  3. conf-findutils build

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto >= "0.1.2"

Conflicts

None