The main GUIs for Aris all have menu bars. Each of the three types of GUIs have different menu bars, and the options for each of these are described in this section.
|• Proof Windows:||The window for proofs.|
|• Rules Table:||The rules table that floats around.|
|• Other Key Shortcuts:||Miscellaneous keyboard shortcuts|
The keyboard shortcuts here (with the exception of the connectives) can be changed using customization See Customization. The shortcuts listed here are the default shortcuts for Aris.