Ribeiro, R., 		Roggia, K., & 		Vasconcellos, C.
(2021).
 Using Proof Assistants in Logics Courses.
In <em>Companion Proceedings of the 1st Brazilian Symposium on Computing Education</em>, (pp. 05-05). Porto Alegre: SBC.
doi:10.5753/educomp_estendido.2021.14846