• 6篇参考文献[SW1354]
  • 具有无名脊柱的类型的La-演算记数法明确的 替代品和完美的术语共享)…
  • 亚砜

  • 3篇参考文献[SW09223 ]
  • 为每个样式提供。其他明确的 替代品结石可以很容易地纳入系统…λ-微积分记数法和指导一步减少以及…以及理解的性质明确的 替代品如保存强规范化…Bruijn记数法以及制造明确的 替代品在实际实现中…
  • 辅酶Q

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

  • 7189篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明…