• 马蒂塔

  • 69篇参考文献[SW06140]
  • 马蒂塔(这意味着意大利语铅笔)是一个实验性的、交互式的定理证明器。
  • MIZ3

  • 11篇参考文献[SW1863]
  • 结合在伊莎贝尔之前,SISREST和马蒂塔系统我们的方法是通用的…
  • 克拉约诺

  • 1篇参考文献[SW29 395 ]
  • Krajono:A马蒂塔DukkTI译者。Krajono(意思是世界语中的铅笔)翻译证明…马蒂塔到DukkTi逻辑框架。翻译是以Cousineau的作品为基础的。
  • 埃克斯特拉托

  • 1篇参考文献[SW32250]
  • 各种证明助理:Coq,霍尔,精益,马蒂塔PVS。我们实现了一个工具,提取TPTP…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明…
  • CTCOQ

  • 13篇参考文献[SW0972]
  • CTCOQ系统:设计与架构。CTCOQ提供…
  • 幼兽

  • 14篇参考文献[SW32446]
  • 基于内容的数学搜索引擎:WELP。这个。。。