• 辅酶Q

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

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

  • 148篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • 乐高

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

  • 29篇参考文献[SW0966]
  • 卡扬——一种依存类型的语言。卡宴是…
  • 警句

  • 21篇参考文献[SW0967]
  • Epigram:依赖类型的实用编程。找到…
  • 帕科

  • 15篇参考文献[SW1085]
  • Paco:一个用于参数化共诱导的辅酶Q库。Paco…