Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding" - View it on GitHub