这个git仓库中有三个分支。 master包含所有问题的.pvs和.prf文件。 问题的书面答案在answers.md文件中。 编辑liftifex包含证据和答案的文件liftifex 。 edit-sum-plus包含带有证明和sum_plus答案的文件。 edit-opsem包含带有opsem答案的编辑。 编辑opsemstates包含的文件和相应edites opsemwithstates4class.pvs由指定的问题C.2 。 most-problem-2包含问题D指定的多