Learning Path for Sort Example

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

Minimum Index One
Reversing an Empty List
Pop Index Base
Reverse One
Sort Example
Start Path