Compare Example Gt
Greater Than Example
Greater Than Substitution
Minimum Example 2
are Equal List Example
Find Number Example 2
Minimum Index Example
Pop Index Example 3
Reverse Example General
Pop Index Example 3 Extend
Minimum Index One
Reverse Empty List
Pop Index Base 2
Reverse List Two General
Reverse Two
Sort Two

Proof: Compare Example Gt

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments