H. Y. R. Inonhe e W. A. Carnielli, “Formalization of mathematics through proof assistants: a study on the state of the art”, revpibic, nº 26, jan. 2019.