分支机构标记

姓名		姓名	上次提交消息	上次提交日期
最新提交历史 504承诺
基准		基准
示例		示例
型钢混凝土		型钢混凝土
测验		测验
实用程序		实用程序
.gitignore（.git忽略）		.gitignore（.git忽略）
Dockerfile（码头文件）		Dockerfile（码头文件）
许可.md		许可.md
生成文件		生成文件
自述.md		自述.md
自行车手.奥帕姆		自行车手.奥帕姆
沙丘		沙丘
沙丘防护工程		沙丘防护工程
设置.sh		设置.sh

存储库文件导航

骑自行车的人

骑自行车的人是一个基于序列演算构建循环定理证明程序的框架。此外，多年来，已经集成了多个决策程序或算法，重点介绍带有归纳定义谓词的分离逻辑。

有关建筑的信息骑自行车的人，包括可用的工具和支持这些工具的文件，请访问

www.cyclist-prover.org