Dietrich D, Buckley M. Verification of human-level proof steps in mathematics education. Teach. Math. Comp. Sci. [Internet]. 2008 Dec. 1 [cited 2024 Oct. 20];6(2):345-62. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/14831