Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell | Publicación