Inonhe, Henrique Yuji Rossetti, e 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, nº 26, janeiro de 2019, doi:10.20396/revpibic262018600.