• 1ML

  • 4篇参考文献[SW983]
  • 统一的成一种语言。在这个“1ML”中,函数,函子,甚至类型构造函数
  • 辅酶Q

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

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

  • 651篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 乐高

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