Inonhe, Henrique Yuji Rossetti, and Walter Alexandre Carnielli. 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, no. 26 (January). Campinas, SP. https://doi.org/10.20396/revpibic262018600.