形式化方法作业之coqbasic练习(1~2星)答案