• 佩斯卡

• 在129篇文章中引用[sw13664]
• PESCA=校对编辑顺序 微积分：Pesca是一个帮助建设。。。证明顺序 微积分. 它既可以作为校对编辑，也可以作为自动。。。

• leanTAP公司

• 在38篇文章中引用[sw09985]
• a的实施顺序 微积分. 他证明了这一点的正确性和完整性微积分. 因为。。。通信顺序 微积分而程序leanTAP是显而易见的，这反过来构成。。。leanTAP公司。接下来，作者概括了顺序 微积分对模态逻辑K和草图。。。这是完整性的证明顺序 微积分. 然后，作者将顺序 微积分...

• 阿贝拉

• 引用49篇文章[sw09461]
• 微积分，削减了顺序 微积分以及类型唯一性和主题约简属性。这个。。。

• 凯玛拉

• 在39篇文章中引用[sw03709]
• KeYmaera实现了一个广义的自由变量顺序 微积分自动证明策略分解。。。

• 贝德维尔

• 引用21篇文章[sw09460]
• 故障可以在顺序 微积分通过合并推理规则来定义。。。结果，在这样一个顺序 微积分可以捕获简单的模型检查问题。。。

• 骑自行车的人

• 引用了20篇文章[sw18519]
• 基于a的循环定理证明器顺序 微积分. 此外，多年来的几项决定。。。

• 多日志

• 17条引用[sw06604]
• 一阶逻辑并产生一个顺序 微积分一个自然演绎系统，以及从句的构成。。。

• 心理

• 引用5篇文章[sw28518]
• 基于顺序 微积分具有LCF风格的体系结构。心灵。。。推论：它使用的是顺序 微积分对于极化的经典逻辑。最后，Psyche的特征。。。

• 塔克

• 参考7篇文章[sw09455]
• 与寻找有关的决定论顺序 微积分证明。我们提出了一个集中的证明系统。。。

• 肩带

• 引用4篇文章[sw13305]
• 搜索程序，基于顺序 微积分，以减轻构造证据的负担。。。

• 阿格索尔

• 引用4篇文章[sw13302]
• 证明条件是一种顺序 微积分到目前为止只有印刷品。。。

• Gen2sat公司

• 引用3篇文章[sw16745]
• 用a表示的逻辑顺序 微积分. 对这条线的研究有贡献。。。解析纯中可导性的约化顺序结石到卫星。这也使第二代卫星。。。

• 国际历史

• 引用3篇文章[sw24227]
• 基于a的直觉命题逻辑顺序 微积分因为科西和塔西的历史。。。

• 明洛

• 引用2篇文章[sw30424]
• 基于自由切割的程序顺序 微积分制定这些制度。而方法。。。

• 迪克微积分

• 1条引用[sw28673]
• LK版本顺序 微积分片段作为scalajar文件提供（这些文件有。。。Linux和macOS）：DEAK-微积分-工具，顺序-微积分-工具。。。

• 绅士

• 1条引用[sw33688]
• 使用Gentzen风格构造大量的派生词顺序 微积分，提供了自动化流程的想法。。。二者之间的联系顺序 微积分而tableau方法。。。

• 逻辑文本

• 1条引用[sw32232]
• 一阶经典逻辑顺序 微积分，和日本的传统一样，潘多拉。。。

• 可口可乐

• 在1783篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 混合的

• 引用18条[sw00421]
• 混合：一个高阶语法包。。。

• ILTP

• 参考第26条[sw00437]
• 直觉逻辑定理证明（ILTP）库提供了。。。