Dietrich, Dominik, and Mark Buckley. “Verification of Human-Level Proof Steps in Mathematics Education”. Teaching Mathematics and Computer Science 6, no. 2 (December 1, 2008): 345–362. Accessed October 20, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/14831.