• 水獭

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

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

  • 95篇参考文献[SW0619]
  • StCHIMO:Prolog中实现的一个定理证明器。这个。。。