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. Campinas, SP, (26). doi: 10.20396/revpibic262018600.