4 ms·

This sounds like the algorithmic counterpart to proof by induction.

• chriswarbo 12y ago
  Actually proof by induction is equivalent to recursion. Corecursion is equivalent to, believe it or not, proof by coinduction ;)