Ribeiro, Rodrigo, Karina Roggia, and Cristiano Vasconcellos.
" Using Proof Assistants in Logics Courses." <em>Companion Proceedings of the 1st Brazilian Symposium on Computing Education,
On-line, 2021</em>. SBC, 2021,  
pp.05-05.