Teixeira, M.C. e Santana, G.S. de . 2025. Demonstrações Matemáticas na Prática: Uma Abordagem Visual com o Logic.ly. Encontro Baiano de Educação Matemática. 21, 1 (set. 2025), 1–6.