Vasconcelos, D., 		Paula, R., & 		Menezes, M.
(2022).
 NADIA - Natural DeductIon proof Assistant.
In <em>Proceedings of the 30th Workshop on Computing Education</em>, (pp. 427-438). Porto Alegre: SBC.
doi:10.5753/wei.2022.222875