PROOF EDITOR

 
Symbol
Next action  
Proof complete
Adding proof line 4.
Edit which goal?  
Assumptions Formula Source lines Rule used
Premise:
Conclusion:
Error message appears here.

Choose from the menu how you want to proceed: