Zippy -- Generic White-Box Proof Search with Zippers

Kevin Kappelmann

We present a framework for tree-based proof search, called Zippy. Unlike existing proof search tools, Zippy is largely independent of concrete search tree representations, search-a…