引理使用

Examples of verified algorithms

1. 二分查找（引理）（Binary Search Algorithm: Iterative Implementation, verified with Lemma）
2. 二叉搜索树的节点删除（Delete a Node in the Binary Tree *）
3. 二叉搜索树的节点插入（Insert a Node to the Binary Tree）
4. 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
5. 荷兰国旗问题（Dutch National Flag Problem）
6. 字符串匹配的KMP算法（方案1）（KMP Algorithm For String Matching, Verification Plan 1）
7. 字符串匹配的KMP算法（方案2）（KMP Algorithm For String Matching, Verification Plan 2）
8. 矩阵分块乘法（引理）（Matrix Multiplication with Lemma）
9. 矩阵分块乘法（宏定义）（Matrix Multiplication with Macro）
10. 矩阵分块乘法（归纳谓词）（Matrix Multiplication with Quantifier Predicate）
11. 数组最小和截断问题（Minimal Sum Section）