Proof: Do Reverse 39 0

Let's prove the following theorem:

reverse of "[]" = reverse of remaining stack "[]" and already reversed stack [ ]

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 reverse of "[]" = reverse of remaining stack "[]" and already reversed stack [ ] reverse of "[]" = reverse of remaining stack "[]" and already reversed stack [ ]

Comments

Please log in to add comments