• 塑料

  • 18篇参考文献[SW07403]
  • 具有归纳类型、宇宙和强制的 子类型. 塑料是Haskell的一种实现方式。扩展包括归纳类型、宇宙和强制的 子类型. 它可以被看作是元…
  • 辅酶Q

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

  • 66篇参考文献[SW08603]
  • 阿尔夫的实现——一个基于证明编辑器的…
  • 乐高

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

  • 170篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式编程语言。
  • GF

  • 32篇参考文献[SW13667 ]
  • 语法框架。一种类型的理论语法形式主义。语法的…