Proof: are Equal List Example

Let's prove the following theorem:

[0,[]] = [0,[]]

Proof:

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

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

Comments

Please log in to add comments