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