The other tracks teach you what to prove. This track teaches you how to prove it. Inspired by Daniel Velleman's How to Prove It, each exercise focuses on a proof technique: when to use it, how to recognise it, and what it does to the proof state. Learn to read the shape of a goal and choose the right strategy.