Vaneli, W., & 		Andrade, J.
(2024).
 Applying the LEAN Theorem Prover to Teach Mathematical Logic to Information Systems Students: A Case Study.
In <em>Proceedings of the 9th Regional School on Informatics of Espírito Santo</em>, (pp. 99-106). Porto Alegre: SBC.
doi:10.5753/eries.2024.244646