Inonhe, H. Y. R., & 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). https://doi.org/10.20396/revpibic262018600