Vaneli, Willian, E 		Andrade, Jefferson.
" 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" <em>Anais da Escola Regional de Informática do Espírito Santo</em> [Online], (17 outubro 2024)