Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) | Publicación