Vasconcelos, Davi, 		Paula, Robson, E 		Menezes, Maria.
" NADIA - Natural DeductIon proof Assistant" <em>Anais do Workshop sobre Educação em Computação (WEI)</em> [Online], (31 julho 2022)