Blanchette, Jasmin C., Cezary Kaliszyk, Lawrence C. Paulson, and Josef Urban. 2016. “Hammering towards QED”. Journal of Formalized Reasoning 9 (1):101-48. https://doi.org/10.6092/issn.1972-5787/4593.