Login / Signup
Rajashree Agrawal
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Presburger Arithmetic
Theorem Prover
Retrieval Engine
Rewrite Rules
Top Venues
CoRR
</>
Publications
</>
Jason Gross
,
Andres Erbsen
,
Jade Philipoom
,
Rajashree Agrawal
,
Adam Chlipala
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.
CoRR
(2023)