Proof: Less Than Example Two

Let's prove the following theorem:

[ 1, [ 0, [ 1, [ ] ] ] ] is less than [ 0, [ 1, [ 1, [ ] ] ] ]

Proof:

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

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

Comments

Please log in to add comments