Vaneli, W., & 		Andrade, J.
2024 out 17.  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. Anais da Escola Regional de Informática do Espírito Santo. [Online] :