Proof: Reverse List Example 4

Let's prove the following theorem:

reverse of [ 14, [ 10, [ ] ] ] = [ 10, [ 14, [ ] ] ]

Proof:

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

Proof Table
# Claim Reason
1 reverse of [ 14, [ 10, [ ] ] ] = [ 10, [ 14, [ ] ] ] reverse of [ 14, [ 10, [ ] ] ] = [ 10, [ 14, [ ] ] ]

Comments

Please log in to add comments