Title: Towards Mechanized Mathematical Assistants