• 提洛尔

  • 88篇参考文献[SW07830]
  • 语义标注,简单投影和子项标准,不流通的和可用的规则…
  • 证明

  • 142篇参考文献[ SW07831 ]
  • 证明1.2:在依赖关系中自动终止证明…
  • 颜色

  • 37篇参考文献[SW09806]
  • 颜色:一个良好的改写的COQ图书馆…
  • A3PAT

  • 7篇参考文献[SW21588]
  • A3PAT,一种用于认证的自动终止证明的方法…