Inonhe, H.Y.R. e Carnielli, W.A. 2019. Formalization of mathematics through proof assistants: a study on the state of the art. Revista dos Trabalhos de Iniciação Científica da UNICAMP. 26 (jan. 2019). DOI:https://doi.org/10.20396/revpibic262018600.