ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel, Jan Jakubův, Stephan Schulz +1

Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem p…