Learning Path for Sort Two

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

Compare Example Gt

Greater Than Example

Greater Than Substitution

Minimum Example 2

are Equal List Example

Find Number Example 2

Minimum Index Example

Pop Index Example 3

Reverse Example General

Pop Index Example 3 Extend

Minimum Index One

Reversing an Empty List

Pop Index Base 2

Reverse List Two General