Ribeiro, Rodrigo, Karina Roggia, and Cristiano Vasconcellos. " O Uso de Assistente de Provas no Ensino de Lógica." Anais Estendidos do I Simpósio Brasileiro de Educação em Computação, On-line, 2021. SBC, 2021, pp.05-05.