Inonhe, H. Y. R.; Carnielli, W. A. Formalization of Mathematics through Proof Assistants: A Study on the State of the Art. revpibic 2019.