• TPTP

  • 引用383篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • github

  • 在1905年的文章中引用[sw23170]
  • GitHub(原名Logical Awesome LLC)[3。。。