• 辅酶Q

• 1725篇参考文献[SW0161]
• COQ是正式的证明管理系统。IT

• 伊莎贝尔

• 580篇参考文献[SW044]
• 伊莎贝尔是通用的证明助理。它允许…

• 伊莎贝尔/霍尔

• 908篇参考文献[SW01569]
• 伊莎贝尔是通用的证明助理。它允许…

• 丁克

• 51篇参考文献[SW0488]
• Pink是一个免费的、开源的全基因组。

• 米扎尔

• 450篇参考文献[SW04704]
• MIZAR系统是唯一的实现…

• 霍尔

• 470篇参考文献[SW054 92]
• 高阶逻辑（HOL）是一种编程环境…

• 霍尔灯

• 283篇参考文献[SW0680]
• HOLL灯：概述。HOLL灯是…

• 努普尔

• 385篇参考文献[ SW067 551 ]
• NUPRL系统是一个推理框架。

• 特威尔

• 165篇参考文献[SW0688]
• TWELL是一种用来指定、实现…的语言。

• 希茨

• 56篇参考文献[SW07017]
• 异构工具集。HETS是…

• 自动机

• 394篇参考文献[SW07127]
• 自动机器是由N.G.设计的一种语言。

• OMDOC

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

• NQTHM

• 146篇参考文献[SW075 43]
• 计算逻辑手册。这本书是…

• 阿尔夫

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

• 盖亚

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

• 乐高

• 106篇参考文献[SW09685 ]
• 乐高是互动的证明开发系统证明…

• 钙化

• 37篇参考文献[SW0960]
• 教学工具CACCHECK: A证明……检查员

• 四氢呋喃

• 21篇参考文献[SW09983]
• MTT：莫德终端工具。尽管有非凡的…

• 蝇斑

• 107篇参考文献[SW1027 7]
• 沟通正式校样以苍蝇为例。我们

• 佩斯卡

• 116篇参考文献[SW13664 ]
• 皮斯卡证明序列演算编辑器：PESCA是…