= IsaPlanner =

IsaPlanner is a proof planner for Isabelle, which we maintain and develop. It's webpage is at: http://dream.inf.ed.ac.uk/projects/isaplanner/