Formal Mathematical Reasoning and Writing