Ribeiro, Rodrigo, 		Roggia, Karina, AND 		Vasconcellos, Cristiano.
" Using Proof Assistants in Logics Courses" <em>Companion Proceedings of the Brazilian Symposium on Computing Education (EDUCOMP)</em> [Online], (26 April 2021)