Describir: Towards Mechanized Mathematical Assistants