To access Pandora's online help system either press the F1 key, select Help from the Help Menu or click on the help link below.

What would you like to do?

• Start a new Proof
• Open an existing Proof
• Open a lab exercise Proof
• Start a Pandora Tutorial
• Go to Pandora Help

Note: your use of pandora will be logged for quality assurance purposes