W. Vaneli and J. 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", in <em>Anais da IX Escola Regional de Informática do Espírito Santo</em>, Vitória/ES, 2024, pp. 99-106, doi: <a href="https://doi.org/10.5753/eries.2024.244646">https://doi.org/10.5753/eries.2024.244646</a>.