• 辅酶Q

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

  • 2681篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 超小卫星

  • 519篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 水獭

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

  • 368篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • Z3

  • 471篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 皮德

  • 10篇参考文献[SW06404]
  • 伊莎贝尔/ JeDIT——一个证明框架内的证明者…