- How do I Start?
- Start a new Proof
- Open an existing Proof
- Go to Pandora Help(Manual).
All of these can be done by the buttons below. |
Note that several help features are available on the help menu:
- How do I start?
- Panic Situations
- Heuristic Hints
- Forwards and Backwards rules
- Manual (gives guidance on the menu option)
|