Գրեք սա: Proof Methods for Corecursive Programs