Inonhe HYR, Carnielli WA. Formalization of mathematics through proof assistants: a study on the state of the art. revpibic [Internet]. 2019 Jan. 14 [cited 2024 May 19];(26). Available from: https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/600