Bridging Informal and Formal Reasoning