most citedHipster: Integrating Theory Exploration in a Proof Assistant

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 3 cited

Hipster: Integrating Theory Exploration in a Proof Assistant

Moa Johansson, Dan Rosen, Nicholas Smallbone +1

This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new int…