Willian Vaneli and Jefferson Andrade. 2024.
 Aplicação do Provador de Teoremas LEAN no Ensino de Lógica Matemática para Alunos de Sistemas de Informação: Um Estudo de Caso. In <em>Anais da IX Escola Regional de Informática do Espírito Santo</em>, outubro 17, 2024, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 99-106. DOI: <a href="https://doi.org/10.5753/eries.2024.244646">https://doi.org/10.5753/eries.2024.244646</a>.