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.

Truth Propagation Property 2

Maximum Example

Maximum Example 2

Find Number Example 2

Transitive Property Application 1

Maximum Index Example

Push Stack Example 2

Reverse List Two Example

Pop Index Result Example 2

Pop Index Example 2

Find Number Example 3

Maximum Index Example 2

Reverse One Element List

Pop Index Result Example 3

Pop Index Example 3

Find Number One Element Example

Maximum Index One Element Example

Reversing an Empty List

Pop Index One Element Example