Build a proof one justified move at a time.
Use the goal to guide you; some moves first establish facts you will need.
Enter given statements and a goal. Use the buttons or type the symbols directly.
The symbol is inserted at the cursor in the formula box you last used. Keyboard forms such as forall, exists, ->, &, |, and ~ also work.
Each box contains one complete statement. Add as many as the problem needs.