查找算法(Searching Algorithms)

Examples of verified algorithms

1. 二分查找（Binary Search）
2. 二分查找（引理）（Binary Search with using Lemma）
3. 二分查找（递归）（Binary Search with Recursion Algorithms）