Rodrigo Ribeiro, Karina Roggia, and Cristiano Vasconcellos. 2021.
 Using Proof Assistants in Logics Courses. In <em>Companion Proceedings of the 1st Brazilian Symposium on Computing Education</em>, April 26, 2021, On-line, Brasil. SBC, Porto Alegre, Brasil, 05-05. DOI: <a href="https://doi.org/10.5753/educomp_estendido.2021.14846">https://doi.org/10.5753/educomp_estendido.2021.14846</a>.