Vaneli, W., & Andrade, J. (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 Anais da IX Escola Regional de Informática do Espírito Santo, (pp. 99-106). Porto Alegre: SBC. doi:10.5753/eries.2024.244646