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

Jason Gross Andres Erbsen Jade Philipoom Rajashree Agrawal Adam Chlipala

Published in: CoRR (2023)

Keyphrases

expert systems
theorem prover
presburger arithmetic
artificial intelligence
theorem proving
air fuel ratio
database
highly scalable
higher level
data warehouse
formal methods
retrieval engine
rewrite rules
databases
inference rules
high level
search engine
memory efficient
datalog programs
learning algorithm