• 特威尔

  • 166篇参考文献[SW0688]
  • 特威尔是一种用来定义、实现和证明演绎系统的性质的语言…语言和逻辑学。大型科研项目使用特威尔包括滑稽类型的汇编语言…
  • 辅酶Q

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

  • 84篇参考文献[SW07138]
  • OMDOC:走向行政管理的互联网标准…
  • 阿尔夫

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

  • 4篇参考文献[SW09607]
  • 盖亚代表:几何、代数、信息学和应用…
  • 乐高

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

  • 107篇参考文献[SW1027 7]
  • 传达形式证明:FiSSPECK的例子。我们
  • 精灵

  • 43篇参考文献[SW21361]
  • 精灵的元语言。精灵是一种约束…