Davi Vasconcelos, Robson Paula, and Maria Menezes. 2022. NADIA - Natural DeductIon proof Assistant. In Anais do XXX Workshop sobre Educação em Computação, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 427-438. DOI: https://doi.org/10.5753/wei.2022.222875.