Lima, E. B. de, & Milanez, A. F. (2022). Fy Maria: um protótipo de sistema que auxilia o processo de apresentação de provas. Conjecturas, 22(16), 663–682. https://doi.org/10.53660/CONJ-2016-2S60