ProofWatch: Watchlist Guidance for Large Theories in E.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban

Browse the full ITP paper archive.