排序算法(Sorting Algorithms)

Examples of verified algorithms

1. 冒泡排序（Bubble Sort）
2. 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
3. 冒泡排序（单向链表）（Sorting a Linked List by Bubble Sort）
4. 地精排序（Gnome Sort）
5. 插入排序（Insertion Sort）
6. 归并排序（Merge Sort）
7. 归并排序（单向链表）（Sorting Two Ordered Linked Lists by Merge Sort）
8. 选择排序（Selection Sort）
9. 希尔排序（Shell Sort）