Text this: Formalization of mathematics through proof assistants: a study on the state of the art