逻辑性 用于逻辑研究的库和CLI助手。 建立 mkdir build cd build cmake ../sources . cmake --build . 测试 make test 项目主体结构 /docs :文档 /sources/include /cli :存储与CLI应用程序相关的所有代码 /apps :存储/apps的代码,例如公理化算法 /core :所有核心代码 syntax.h :与syntax.h ,签名和公式有关的代码 common.h和utils.h :其他代码段所关注的代码段 exception.h :任何异常代码都在这里 /combinatorics :与组合任务相