Push Stack Example

Proof: Push Stack Example

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments