1![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 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](https://www.pdfsearch.io/img/aadc38bc86a5f926f16b8f54f0b0a61e.jpg) | Add to Reading ListSource URL: www.cse.chalmers.se- Date: 2013-09-13 09:25:11
|
---|
2![C:/Mina dokument/4th year project/ProjectReport.dvi C:/Mina dokument/4th year project/ProjectReport.dvi](https://www.pdfsearch.io/img/8562860825b79eff21f5acbfb1c2bf9a.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2007-02-02 09:38:01
|
---|
3![Automated Discovery of Inductive Lemmas Moa Johansson NI VER Automated Discovery of Inductive Lemmas Moa Johansson NI VER](https://www.pdfsearch.io/img/07e85df7bdc60d54395528e3987e9534.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-03-21 07:54:00
|
---|
4![Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk](https://www.pdfsearch.io/img/50c796205a7c5d66fbe84a2d6f808449.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-01-25 09:28:59
|
---|
5![Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics](https://www.pdfsearch.io/img/c8d6b0e80fba14d1c64537677350147a.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2006-07-10 06:07:20
|
---|
6![A Proof Planning Framework For Isabelle Lucas Dixon NI VER A Proof Planning Framework For Isabelle Lucas Dixon NI VER](https://www.pdfsearch.io/img/2c9a95ce29cbe50247ab50745a555b4a.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2006-03-27 10:16:29
|
---|
7![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 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](https://www.pdfsearch.io/img/49ba539d7739f8cd12f6b19ebaacba18.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2007-02-25 13:12:10
|
---|
8![UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics](https://www.pdfsearch.io/img/cf98d701efc3d861e7b8076784f60915.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-12-15 09:19:07
|
---|
9![A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK](https://www.pdfsearch.io/img/4126d9905911db8a73c3e488c944e8be.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-09-01 07:28:34
|
---|
10![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 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](https://www.pdfsearch.io/img/7723652bd2b26dd9b771476cf9520eb7.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2008-12-03 05:18:38
|
---|