Next: , Up: Basic Usage


4.1 Startup

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.