Teixeira, M. C.; Santana, G. S. de . Demonstrações Matemáticas Na Prática: Uma Abordagem Visual Com O Logic.Ly. EBEM 2025, 21 (1), 1-6.