Here will be tips and experience notes on the use of IsaPlanner. It will include things like:
- How to build IsaPlanner for particular OS/Harware configurations
- How to run IsaPlanner with parituclar versions of Isabelle
- How to use IsaPlanner to plan and prove things
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 25 Oct 2005 - 15:44:51 - GrahamSteel
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies