• 佩斯卡

• 116篇参考文献[SW13664 ]
• PSCEA =证明编辑器相继的 微积分Pesca是一个有助于建筑的项目。中的证据相继的 微积分. 它既作为一个证明编辑器和作为一个自动…

• 莱坦普

• 36篇参考文献[ SW099 85 ]
• A的实现相继的 微积分. 他证明了这一点的正确性和完整性。微积分. 因为…之间的对应关系相继的 微积分程序LeANAP是显而易见的，这又构成了…莱坦普其次，作者概括了相继的 微积分模态逻辑K和草图…这个完整性的证明相继的 微积分. 然后，作者对相继的 微积分…

• 阿贝拉

• 46篇参考文献[SW09461 ]
• 微积分，A的可容许性相继的 微积分类型唯一性和主题约简性质。这

• 凯玛拉

• 37篇参考文献[SW03709]
• KeYmaera实现广义自由变量相继的 微积分和自动证明策略分解…

• 贝德维尔

• 20篇参考文献[SW09460]
• 失败可以被捕获在相继的 微积分通过定义定义的推理规则…结果，证明在这样的搜索相继的 微积分可以捕捉简单的模型检查问题…

• 骑自行车的人

• 19篇参考文献[SW18519]
• 基于A的循环定理证明器相继的 微积分. 此外，多年来的几项决定…

• 多原木

• 17篇参考文献[SW06604]
• 一阶逻辑并产生一个逻辑相继的 微积分一个自然演绎系统和子句构成…

• 塔克

• 7篇参考文献[SW0945 5]
• 搜索中涉及的决定论相继的 微积分校样。我们提出了一个焦点证明系统…

• 普赛克

• 3篇参考文献[SW28 518]
• 基于证据的搜索引擎相继的 微积分具有LCF风格的架构。心灵…演绎：它代替焦点相继的 微积分对于极化的经典逻辑。最后，心理特征。

• 阿格雷

• 4篇参考文献[SW13305]
• 基于焦点的搜索过程相继的 微积分为了减轻建造证明的负担…

• 无溶剂

• 4篇参考文献[SW13302]
• 证明项是一种相继的 微积分推导和迄今只打印…

• 铟镓铟镓

• 2篇参考文献[SW24227 ]
• 基于A的直觉命题逻辑相继的 微积分由于科西和Tassi的历史…

• 最小对数

• 2篇参考文献[SW30424]
• 基于无割的过程相继的 微积分这些系统的配方。而方法…

• 德克微积分

• 1篇参考文献[SW28 63]
• LK版本相继的 微积分碎片可作为Scala jar文件（这些有…Linux和MACOS：DEAK-微积分-工具，相继的-微积分工具

• GAN2SAT

• 1篇参考文献[SW1675]
• 用A给出的逻辑相继的 微积分. 它有助于研究的方向…解析纯的可导性的约简相继的计算到SAT.这也使得GAN2SAT…

• LogEXTEX

• 1篇参考文献[SW3262]
• 一阶经典逻辑相继的 微积分在和潘多拉一样的传统中，…

• 辅酶Q

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

• 杂种

• 14篇参考文献[SW0421]
• 混合：一个用于高级语法的包…

• 伊莎贝尔

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

• 奥特

• 29篇参考文献[SW0663]
• 全规模编程语言的语义定义是…