IsaPlannerIsaPlanner 2: A Proof Planner in Isabelle. Lucas Dixon and Moa Johansson. System Description/Technical Report. 2007. is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.A Proof Planning Framework for Isabelle. Lucas Dixon. PhD Thesis, University of Edinburgh. 2005.
References