TY  - RPRT
TI  - Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
AU  - Jason Gross
AU  - Andres Erbsen
AU  - Jade Philipoom
AU  - Rajashree Agrawal
AU  - Adam Chlipala
PY  - 2024
DO  - 10.1007/s10817-024-09705-6
UR  - https://arxiv.org/abs/2305.02521
ID  - 2305.02521
ER  -