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

-- Main.gsteel - 25 Oct 2005

Topic revision: r1 - 25 Oct 2005 - 15:44:51 - GrahamSteel
 
This site is powered by the TWiki collaboration platformCopyright © 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