• 伊莎贝尔

  • 在601篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 米兰达

  • 引用了150篇文章[sw04986]
  • 米兰达:一种具有多态性的非严格函数语言。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 乐高是一个交互式的证据开发系统(证明。。。
  • 卡宴

  • 引用了29篇文章[sw09686]
  • 卡宴-一种具有从属类型的语言。卡宴是。。。
  • 警句

  • 参考22篇文章[sw09687]
  • 警句:用相依类型的实用程式设计。找到。。。
  • 帕科

  • 17条引用[sw10885]
  • Paco:一个用于参数化生产的Coq库。帕科。。。
  • 校准仪

  • 引用4篇文章[sw11993]
  • 一种线性逻辑证明器(llprover)。这个小程序。。。