• 伊莎贝尔/ZF

  • 60篇参考文献[SW0493]
  • 把大部分的元素形式化配置 理论包括关系、功能、注射、叹词、序号……井序定理伊莎贝尔/ ZF还提供理论列表、树等,用于形式化计算概念…分支的基数。(ZF:策梅罗-弗兰克尔 配置 理论
  • 辅酶Q

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

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

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

  • 3篇参考文献[SW24048 ]
  • 术语重写:一些实验结果。我们讨论术语…