![]() |
Graphical User Interface |
![]() |
AProVE Help System → User Interface → | Graphical User Interface |
├ Loading and Editing | |
├ Selecting Options | |
├ Performing the Proof | |
└ Logs and Results |
The Menu bar(1) and Tool bar(2) offer functions described in
In the Configuration bar(3, Selecting Options) one can configure the behavior of the prover which is applied to the input file shown in Source(4, Loading and Editing). The actions of the system and are presented in the System Log tab(5). The results (proofs or proof attempts) are shown in the Result tab (described in Logs and Results).