Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. - Lykourgos Mastorou; Nikolaos Papaspyrou; Niki Vazou (Haskell, 2022)