@misc{indiciae7d3587e3a1a6,
  title = {Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)},
  author = {Niki Vazou and Joachim Breitner and Will Kunkel and David Van Horn and Graham Hutton},
  year = {2018},
  url = {https://arxiv.org/abs/1806.03541},
  note = {Source identifier: 1806.03541}
}