Login / Signup

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.

Jason GrossAndres ErbsenJade PhilipoomRajashree AgrawalAdam Chlipala
Published in: J. Autom. Reason. (2024)
Keyphrases