IsaFoL公司 swMATH ID: 19193 软件作者： Branchette，J.C.、Fleury，M.、Schlichtkrull，A.、Traytel，D。 描述： IsaFoL：逻辑的伊莎贝尔形式化。该存储库包含各种正在进行的Isabelle逻辑计算形式化。其目标是开发引理库和方法学，以规范化自动推理中的现代研究。我们最初关注的是已确立的基础和一阶计算，如DPLL、CDCL和分辨率。我们的灵感之一是因斯布鲁克大学的IsaFoR/CeTA项目（Isabelle/HOL认证终止分析改写的形式化）。 主页： https://bitbucket.org/isafol/isafol/wiki/主页 依赖项： 伊莎贝尔 相关软件： 存档正式证据；伊莎贝尔/HOL；versat公司；完备性定理；大锤；伊莎贝尔；github；FOL配件；伊萨尔；SPASS公司；SAT解算器验证；阿凡达；区域设置；糠；z3（零3）；VAMPIRE公司；HOL公司；CeTA公司；名义伊莎贝尔；精灵 引用于： 5文件 全部的 前5名7位作者引用 2 贾斯敏·克里斯蒂安·布兰切特 2 马蒂亚斯·弗勒里 2 安德斯·施利奇特克鲁尔 2 克里斯托夫·韦登巴赫 1 彼得·兰米奇 1 朱利叶斯·迈克利斯 1 托比亚斯·尼普科 连载1篇 2 自动推理杂志 在2个字段中引用 4 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的引文