Login / Signup
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.
Jason Gross
Andres Erbsen
Jade Philipoom
Rajashree Agrawal
Adam Chlipala
Published in:
J. Autom. Reason. (2024)
Keyphrases
</>
theorem prover
presburger arithmetic
database
theorem proving
genetic algorithm
formal methods
test bed
web scale
website
highly scalable
queries using views
high level
information retrieval systems
lightweight
conjunctive queries
retrieval engine