• 水獭

  • 306篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • TPTP

  • 350篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • 箴言9

  • 162篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • MACE4

  • 190篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…