![]() |
Web Interface |
![]() |
AProVE Help System → User Interface → | Web Interface |
└ Form Options |
The web interface is meant for those who want to perform some termination proofs without delving into the depth of the configuration possibilities of the AProVE System or for those who want to check how our system performs on some special problems without installing the AProVE System. To enter the web interface please click on the following link: Web Interface
On the first page of the web interface you are are asked for which type of program you want to perform a termination proof. The possibilities are: