Teixeira, Mateus Coqueiro, e Genilson Soares de Santana. “Demonstrações Matemáticas Na Prática: Uma Abordagem Visual Com O Logic.Ly”. Encontro Baiano De Educação Matemática, vol. 21, nº 1, setembro de 2025, p. 1-6, https://www.sbembrasil.org.br/eventos/index.php/ebem/article/view/1057.