Tools

• Automatic Proof Search (Auto)
• Command-line options
• Compilers
  • Backends
  • Optimizations
• Emacs Mode
  • Keybindings
  • Unicode input
• Generating HTML
• Generating LaTeX
• Library Management
  • Example: Using the standard library
  • Library files
  • Installing libraries
  • Using a library
  • Default libraries
  • Version numbers
  • Upgrading