Text this: Coinductive Proof Principles for Stochastic Processes