伊莎福

伊莎贝尔逻辑形式化。这个存储库包含各种正在进行的逻辑演算的伊莎贝尔形式化。其目标是开发引理库和方法，使现代自动推理研究正规化。我们最初关注的是基础和一级结石，如DPLL、CDCL和分辨率。伊莎贝尔大学（Isabelle/University）的形式化分析是我们的灵感之一。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. Blanchette，Jasmin Christian；Fleury，Mathias；Lammich，Peter；Weidenbach，Christoph:A verified SAT solver framework with learn，forget，restart，and incrementality（2018年）
  2. Schlichtkrull，Anders:一阶逻辑解析演算的形式化（2018）
  3. Blanchette，Jasmin Christian；Fleury，Mathias；Weidenbach，Christoph:A verified SAT solver framework with learn，forget，restart，and incrementality（2016年）
  4. Schlichtkrull，Anders:一阶逻辑解析演算的形式化（2016）