Vasconcelos, Davi Romero de, e Maria Viviane Menezes. 2024. “NADIA - Natural DeductIon Proof Assistant: Um Assistente De Provas De Dedução Natural Para Lógica Proposicional E Lógica De Predicados”. Revista Brasileira De Informática Na Educação 32 (agosto):842-70. https://doi.org/10.5753/rbie.2024.3249.