• 长条

  • 14篇参考文献[SW04650]
  • 高效的结构共享证明-搜索. 带状系统是一个定理证明器。随着公式的重复证明-搜索从精细和明确的管理…
  • F立方

  • 6篇参考文献[ SW11383]
  • 作用于不同方面的空间证明-搜索. 我们测试了我们的技术效率。
  • 普赛克

  • 3篇参考文献[SW28 518]
  • 心灵:一个证明-搜索基于LCF风格结构的序列演算引擎。心灵…模块化证明-搜索发动机设计用于交互式或自动定理证明,并瞄准…
  • 链接

  • 2篇参考文献[ SW023 58]
  • 校样这似乎适合证明-搜索在MLL和MCYLL中。这是一个强大的…
  • GQML

  • 2篇参考文献[SW11996 ]
  • 互联网公平确定性证明-搜索证明者使用的策略被描述和说明…
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 直觉逻辑定理证明(ILTP)库提供…
  • TPS

  • 69篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • PVS

  • 593篇参考文献[SW0384]
  • PVS是一种验证系统。
  • 盐沼

  • 4篇参考文献[SW19622]
  • 系统描述:交互证明批评家在XBarnacle。证明
  • 精灵

  • 42篇参考文献[SW21361]
  • 精灵的元语言。精灵是一种约束…
  • JTABWB

  • 2篇参考文献[SW21865 ]
  • JTabWb:一个实现终止序列的Java框架。