Proof: Element At Example

Let's prove the following theorem:

the element at index 0 of stack [ 10, [ 12, [ 14, [ ] ] ] ] = 10

Proof:

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

Proof Table
# Claim Reason
1 the element at index 0 of stack [ 10, [ 12, [ 14, [ ] ] ] ] = 10 the element at index 0 of stack [ 10, [ 12, [ 14, [ ] ] ] ] = 10

Comments

Please log in to add comments