Learning Path for Adder

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

Commutative Property Variation 1
Term 2 Substitution
Term 1 Substitution
Additive Identity Variation
Addi to Zero
Transitive Property of Equality Variation 2
Addi Zero Insn 0
Transitive Property Application 2
Pc 0
Jump Help 1
Byte 1 Stays the Same 1
Addi Zero Insn 2
Pc 2
Byte 1 Stays the Same 2
Add Term to Both Sides 2
Commutative Property Example 2
Add Term to Both Sides 3
Transitive Property of Equality Variation 1
Subtract From Both Sides
Subtract From Both Sides Mirror
Subtracti Insn 3
Pc 3
Byte 3 Stays the Same 3
Transitive With Four
Store 4
Pc 4
Truth Propagation Property 2
Byte 1 Stays the Same Store 4
Byte 3 Stays the Same Store 4
Addi Zero Insn 5
Pc 5
Byte 1 Stays the Same 5
Byte 127 Stays the Same 5
Subtracti Insn 6
Pc 6
Byte 3 Stays the Same 6
Byte 127 Stays the Same 6
Store 7
Pc 7
Byte 1 Stays the Same Store 7
Byte 3 Stays the Same Store 7
Byte 127 Stays the Same Store 7
Load 8
Pc 8
Byte 1 Stays the Same 8
Byte 127 Stays the Same 8
Byte 126 Stays the Same 8
Subtracti Insn 9
Pc 9
Byte 3 Stays the Same 9
Byte 127 Stays the Same 9
Byte 126 Stays the Same 9
Store 10
Pc 10
Byte 1 Stays the Same Store 10
Byte 3 Stays the Same Store 10
Byte 127 Stays the Same Store 10
Byte 126 Stays the Same Store 10
Load 11
Pc 11
Byte 1 Stays the Same 11
Byte 127 Stays the Same 11
Byte 126 Stays the Same 11
Byte 125 Stays the Same 11
Subtracti Insn 12
Pc 12
Byte 3 Stays the Same 12
Byte 127 Stays the Same 12
Byte 126 Stays the Same 12
Byte 125 Stays the Same 12
Store 13
Pc 13
Byte 1 Stays the Same Store 13
Byte 3 Stays the Same Store 13
Byte 127 Stays the Same Store 13
Byte 126 Stays the Same Store 13
Byte 125 Stays the Same Store 13
Jal 14
Jal Return 14
Byte 1 Stays the Same 14
Byte 3 Stays the Same 14
Byte 127 Stays the Same 14
Byte 126 Stays the Same 14
Byte 125 Stays the Same 14
Byte 124 Stays the Same 14
Load 15
Pc 15
Byte 1 Stays the Same 15
Byte 127 Stays the Same 15
Byte 126 Stays the Same 15
Byte 125 Stays the Same 15
Byte 124 Stays the Same 15
Byte 2 Stays the Same 15
Load 16
Pc 16
Byte 1 Stays the Same 16
Byte 3 Stays the Same 16
Byte 127 Stays the Same 16
Byte 126 Stays the Same 16
Byte 125 Stays the Same 16
Byte 124 Stays the Same 16
Byte 2 Stays the Same 16
Add Insn 17
Substitute Add 17
Pc 17
Byte 1 Stays the Same 17
Byte 127 Stays the Same 17
Byte 126 Stays the Same 17
Byte 125 Stays the Same 17
Byte 124 Stays the Same 17
Byte 2 Stays the Same 17
Byte 4 Stays the Same 17
Subtracti Insn 18
Pc 18
Byte 3 Stays the Same 18
Byte 127 Stays the Same 18
Byte 126 Stays the Same 18
Byte 125 Stays the Same 18
Byte 124 Stays the Same 18
Byte 2 Stays the Same 18
Byte 4 Stays the Same 18
Store 19
Pc 19
Byte 1 Stays the Same Store 19
Byte 3 Stays the Same Store 19
Byte 127 Stays the Same Store 19
Byte 126 Stays the Same Store 19
Byte 125 Stays the Same Store 19
Byte 124 Stays the Same Store 19
Byte 2 Stays the Same Store 19
Byte 4 Stays the Same Store 19
Jump Register Help 20
Byte 1 Stays the Same 20
Byte 3 Stays the Same 20
Byte 127 Stays the Same 20
Byte 126 Stays the Same 20
Byte 125 Stays the Same 20
Byte 124 Stays the Same 20
Byte 2 Stays the Same 20
Byte 4 Stays the Same 20
Byte 123 Stays the Same 20
Load 21
Pc 21
Byte 1 Stays the Same 21
Byte 127 Stays the Same 21
Byte 126 Stays the Same 21
Byte 125 Stays the Same 21
Byte 124 Stays the Same 21
Byte 2 Stays the Same 21
Byte 4 Stays the Same 21
Byte 123 Stays the Same 21
Addi Insn 22
Pc 22
Byte 3 Stays the Same 22
Byte 127 Stays the Same 22
Byte 126 Stays the Same 22
Byte 125 Stays the Same 22
Byte 124 Stays the Same 22
Byte 2 Stays the Same 22
Byte 4 Stays the Same 22
Byte 123 Stays the Same 22
Subtracti Insn 23
Pc 23
Byte 3 Stays the Same 23
Byte 127 Stays the Same 23
Byte 126 Stays the Same 23
Byte 125 Stays the Same 23
Byte 124 Stays the Same 23
Byte 2 Stays the Same 23
Byte 4 Stays the Same 23
Byte 123 Stays the Same 23
Store 24
Pc 24
Byte 1 Stays the Same Store 24
Byte 3 Stays the Same Store 24
Byte 127 Stays the Same Store 24
Byte 126 Stays the Same Store 24
Byte 124 Stays the Same Store 24
Byte 2 Stays the Same Store 24
Byte 4 Stays the Same Store 24
Byte 123 Stays the Same Store 24
Adder
Start Path