软件工程理论基础
- 实验内容
- 根据课件及给定Coq文件（CoqCode2.v）学习Coq中命题和证明的表示方法及证明方法。
- 掌握intros，apply等证明策略的使用方法。
- 学会在Coq中对命题进行定义和声明及证明命题的方法。
- 完成课件最后的三个实践作业。
- 实验过程及重点内容
实验作业4：
代码截图：
实验结果：
实验作业5:
代码截图：
实验结果截图:
实验作业6：
代码截图：
结果截图：
实验作业4：
代码截图：
实验结果：
实验作业5:
代码截图：
实验结果截图:
实验作业6：
代码截图：
结果截图：