Describir: Formalized mathematics