Next: Connectives, Up: Basic Usage
When Aris is loaded up, you will see a few things. You will see the rules window and a proof window. The rules window contains the different rules. A rule will not be selected if a premise is in focus.