IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

First Page		Document Content
Date: 2013-09-13 09:25:11		IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 66,49 KB Share Document on Facebook