Vasconcelos, Davi, 		Paula, Robson, AND 		Menezes, Maria.
" NADIA - Natural DeductIon proof Assistant" <em>Proceedings of the Workshop on Computing Education (WEI)</em> [Online], (31 July 2022)