Prove


This action start the proving process to prove the current theorem.

 

 

To Prove

This action popup a dialog to let the user to define the conclusion to be proved.

JGEX Help