Proof: Greater Than Example Two 2

Let's prove the following theorem:

[ 1, [ 1, [ ] ] ] is greater than [ 0, [ 0, [ ] ] ]

Proof:

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

Proof Table
# Claim Reason
1 compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ] compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ]
2 compare bit stack [ 1, [ 1, [ ] ] ] and bit stack [ 0, [ 0, [ ] ] ] = [ 0, [ 1, [ ] ] ] if compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ], then compare bit stack [ 1, [ 1, [ ] ] ] and bit stack [ 0, [ 0, [ ] ] ] = [ 0, [ 1, [ ] ] ]
3 [ 1, [ 1, [ ] ] ] is greater than [ 0, [ 0, [ ] ] ] if compare bit stack [ 1, [ 1, [ ] ] ] and bit stack [ 0, [ 0, [ ] ] ] = [ 0, [ 1, [ ] ] ], then [ 1, [ 1, [ ] ] ] is greater than [ 0, [ 0, [ ] ] ]

Comments

Please log in to add comments