left

Proof Output

right
AProVE Help SystemProof Output
Proof Format
Proof Interpretation

Here You find several information concerning AProVE's backend: The proof results. They offer facts about order and success of applied techniques as well as information about the current state of the proof, i.e. which obligations have been shown successfully and which still have to be shown.

The following links refer to the full proof result which You can inspect by selecting "View Full Proof" in the menu "Result".

The tree structure in the result viewer contains the same information, but is more interactive. The full proof is just a flattened version of all available information in the result viewer.