TY  - RPRT
TI  - Hipster: Integrating Theory Exploration in a Proof Assistant
AU  - Moa Johansson
AU  - Dan Rosen
AU  - Nicholas Smallbone
AU  - Koen Claessen
PY  - 2014
UR  - https://arxiv.org/abs/1405.3426
ID  - 1405.3426
ER  -