Vaneli, Willian, and Jefferson O. Andrade.
" 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 IX Escola Regional de Informática do Espírito Santo,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.99-106.