Inonhe, Henrique Yuji Rossetti, and Walter Alexandre Carnielli. “Formalization of Mathematics through Proof Assistants: A Study on the State of the Art”. Revista dos Trabalhos de Iniciação Científica da UNICAMP, no. 26 (January 14, 2019). Accessed May 19, 2024. https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/600.