Αποστολή με SMS: Towards Mechanized Mathematical Assistants