A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq | Publicación