ProofWatch: Watchlist Guidance for Large Theories in E

Goertzel, Z., Jakubův, J., Schulz, S., Urban, J.

GOERTZEL, Z., et al. ProofWatch: Watchlist Guidance for Large Theories in E. In: Interactive Theorem Proving. 9th International Conference on Interactive Theorem Proving, Oxford, 2018-07-09/2018-07-12. Basel: Springer, 2018. p. 270-288. LNCS. vol. 10895. ISSN 0302-9743. ISBN 978-3-319-94820-1. DOI 10.1007/978-3-319-94821-8_16.

URL: https://link.springer.com/chapter/10.1007/978-3-319-94821-8_16