Proof: Less Than Example

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments