TY  - RPRT
TI  - Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
AU  - Niki Vazou
AU  - Joachim Breitner
AU  - Will Kunkel
AU  - David Van Horn
AU  - Graham Hutton
PY  - 2018
UR  - https://arxiv.org/abs/1806.03541
ID  - 1806.03541
ER  -