@misc{indiciae58468c56eb7c,
  title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
  author = {Moa Johansson and Dan Rosen and Nicholas Smallbone and Koen Claessen},
  year = {2014},
  url = {https://arxiv.org/abs/1405.3426},
  note = {Source identifier: 1405.3426}
}