A modular Isabelle framework for verifying saturation provers.

Sophie Tourret Jasmin Blanchette

Published in: CPP (2021)

Keyphrases

theorem prover
knowledge base
key features
real time
main contribution
neural network
search engine
social networks
computer vision
lightweight
model checking