compare bit stack [ 0, [ ] ] and bit stack [ 1, [ ] ] = [ 0, [ 0, [ ] ] ]
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
- compare bit stack [ 0, [ ] ] and bit stack [ 1, [ ] ] = [ 0, [ 0, [ ] ] ],
if the following are true:
- a = b
- b = c
then a = c
- compare bit stack [ 0, [ ] ] and bit stack [ 1, [ ] ] = compare bit 0 and bit 1, compare bit stack [ x, [ ] ] and bit stack [ y, [ ] ] = compare bit x and bit y
- compare bit 0 and bit 1 = [ 0, [ 0, [ ] ] ], compare bit 0 and bit 1 = [ 0, [ 0, [ ] ] ]