INONHE, Henrique Yuji Rossetti; CARNIELLI, Walter Alexandre. 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, n. 26, 2019. DOI: 10.20396/revpibic262018600. Disponível em: https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/600. Acesso em: 19 maio. 2024.