DIETRICH, Dominik; BUCKLEY, Mark. Verification of human-level proof steps in mathematics education. Teaching Mathematics and Computer Science, [S. l.], v. 6, n. 2, p. 345–362, 2008. DOI: 10.5485/TMCS.2008.0184. Disponível em: https://ojs.lib.unideb.hu/tmcs/article/view/14831. Acesso em: 22 nov. 2024.