Verified Causal Broadcast with Liquid Haskell | Publicación