Repository navigation
User Guide
Open the Aris website and you will find a new proof ready to use. If you want to open an existing proof, save your proof or open a blank proof, click the file button in the top left.
Now that you have a blank proof ready to go we can start constructing it!
Everything above the black line will be considered a premise. You can have as many premises as you wish or no premie at all. To add a new premise click the three buttons in the gray box. You can also click here to add steps to your proof. "Insert permise after this premise" or "Insert permise before this premise".
In order to select a rule, create a new step and click the rule button. This will then open a drop down menu of all the various rules that Aris supports. Click the rule that applies.
In order for Aris to accept you must also ensure that you select the correct support steps for this rule. Here we can see that we have selected the correct rule, but no support steps were cited.
To select a support step, click the number of the wanted step while the conclusion is toggled. We can also see that the selected support steps shows up on the right.
