Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
Preprint in Research Square (May 2023)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Preprint in Research Square (May 2023)
Book chapter (November 2019)
Article in Journal of Symbolic Computation (January 2019)