Formalized mathematics