• 辅酶Q

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

  • 589篇参考文献[SW0384]
  • PVS是一种验证系统。
  • Z3

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

  • 47篇参考文献[SW06970]
  • 授权MIZAR数学库(MML)。Mizar…