Push Stack Example 2
Reverse List Two Example
Pop Index Result Example 2
Pop Index Example 2

Proof: Push Stack Example 2

Let's prove the following theorem:

result of dumping [ 2, [ 1, [ ] ] ] to [ ] = [ 1, [ 2, [ ] ] ]

Proof:

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

Proof Table
# Claim Reason
1 result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ] result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ]
2 result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ] result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ]
3 result of dumping [ 2, [ 1, [ ] ] ] to [ ] = [ 1, [ 2, [ ] ] ] if result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ] and result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ], then result of dumping [ 2, [ 1, [ ] ] ] to [ ] = [ 1, [ 2, [ ] ] ]
Next Lesson

Comments

Please log in to add comments