Towards Mechanized Mathematical Assistants door