TY  - RPRT
TI  - Accelerating Verified-Compiler Development with a Verified Rewriting Engine
AU  - Jason Gross
AU  - Andres Erbsen
AU  - Jade Philipoom
AU  - Rajashree Agrawal
AU  - Adam Chlipala
PY  - 2025
DO  - 10.4230/lipics.itp.2022.17
UR  - https://arxiv.org/abs/2205.00862
ID  - 2205.00862
ER  -