Blanchette, Jasmin C., Cezary Kaliszyk, Lawrence C. Paulson, and Josef Urban. “Hammering towards QED”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 101–148. Accessed April 19, 2024. https://jfr.unibo.it/article/view/4593.