In programming, equal signs mean different things, and variables have different types. Turning intuitive math expertise into step-by-step coded proofs involves filling in some “holes.” ...