![]() |
Proof Output |
![]() |
AProVE Help System → | Proof 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".