proof theory

What makes a proof explanatory

Two proofs of the same theorem can differ enormously in how much they tell you. Mathematicians have argued about why for a century, and the answer turns out to matter for how we teach machines.