Learning Path for Copy Example

The following is a list of all proofs that are used to prove either Copy Example or its ancestor proofs.

Additive Identity Variation
Transitive Property of Equality Variation 2
Commutative Property Variation 1
Term 2 Substitution
Term 1 Substitution
Addi Insn 0
Transitive Property Application 2
Pc 0
Byte 3 Stays the Same 0
Byte 4 Stays the Same 0
Byte 5 Stays the Same 0
Addi Insn 1
Pc 1
Byte 3 Stays the Same 1
Byte 4 Stays the Same 1
Byte 5 Stays the Same 1
Byte 7 Stays the Same 1
Addi Insn 2
Pc 2
Byte 3 Stays the Same 2
Byte 4 Stays the Same 2
Byte 5 Stays the Same 2
Byte 7 Stays the Same 2
Byte 8 Stays the Same 2
Copy Example
Start Path