Deduce：一款用于教学的函数式程序正确性证明检查器

Deduce 是一款面向教育的自动化证明检查器，旨在帮助学生轻松学习函数式程序的正确性证明，加深对逻辑的理解，并提高编写数学证明的能力。它适合具备基本编程技能（Java、Python 或 C++）和离散数学逻辑基础的学生。Deduce 提供了从安装、代码编写、证明程序到参考手册和速查表等一系列资源，并通过线性查找算法的示例证明，直观地展示了其使用方法。