Compare Example Eq

Proof: Compare Example Eq

Let's prove the following theorem:

compare bit stack [ 1, [ ] ] and bit stack [ 1, [ ] ] = [ 1, [ 0, [ ] ] ]

Proof:

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

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

Comments

Please log in to add comments