@misc{indiciae78c4f562a81e,
  title = {Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code},
  author = {Joachim Breitner and Antal Spector-Zabusky and Yao Li and Christine Rizkallah and John Wiegley and Stephanie Weirich},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06960},
  note = {Source identifier: 1803.06960}
}