Text this: Proof Methods for Corecursive Programs