Title: Mechanizing Mathematical Reasoning