Induction
Kent Quanrud · 51:07
This lecture trains you to treat induction and recursion as the same tool: write a precise recursive contract, implement only one reduction step plus a base case, then reuse that contract as the inductive hypothesis s...