SCHILLER, Marvin; DIETRICH, Dominik; BENZMÜLLER, Christoph. Proof step analysis for proof tutoring - a learning approach to granularity. Teaching Mathematics and Computer Science, [S. l.], v. 6, n. 2, p. 325–343, 2008. DOI: 10.5485/TMCS.2008.0183. Disponível em: https://ojs.lib.unideb.hu/tmcs/article/view/14830. Acesso em: 20 oct. 2024.