Vista do Formalization of mathematics through proof assistants | Revista dos Trabalhos de Iniciação Científica da UNICAMP