%0 Journal Article %1 journals/corr/abs-2305-02521 %A Gross, Jason %A Erbsen, Andres %A Philipoom, Jade %A Agrawal, Rajashree %A Chlipala, Adam %D 2023 %J CoRR %K dblp %T Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq. %U http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-02521 %V abs/2305.02521

@article{journals/corr/abs-2305-02521, added-at = {2023-05-10T00:00:00.000+0200}, author = {Gross, Jason and Erbsen, Andres and Philipoom, Jade and Agrawal, Rajashree and Chlipala, Adam}, biburl = {https://www.bibsonomy.org/bibtex/240c27e4e105e15e61636e8dd91af7fb2/dblp}, ee = {https://doi.org/10.48550/arXiv.2305.02521}, interhash = {29f2b3791b3af75928e750e26b908f07}, intrahash = {40c27e4e105e15e61636e8dd91af7fb2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:23:07.000+0200}, title = {Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-02521}, volume = {abs/2305.02521}, year = 2023 }