-
Isar
- 在140篇文章中引用[sw04599]
- 当前的最终用户设置主要用于伊莎贝尔/霍尔. 再加上伊莎贝尔/Isar的证据实例。。。
-
吹毛求疵
- 参考61篇文章[sw00622]
- Nitpick是一个反例生成器伊莎贝尔/霍尔它建立在Kodkod,一个基于SAT的第一个。。。
-
塞塔
- 引用46篇文章[sw06584]
- 本文利用这个定理证明了这一点伊莎贝尔/霍尔自动认证终止证明。为了这个。。。
-
换乘
- 在26篇文章中引用[sw21009]
- 迁移:一个模块化的商数设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型。。。
-
举起
- 在26篇文章中引用[sw21010]
- 迁移:一个模块化的商数设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型。。。
-
捣碎
- 引用21篇文章[sw08206]
- 证明助手中的自动定理证明器伊莎贝尔/霍尔. 一个关键的组成部分,相关性过滤器,启发性地。。。
-
霍尔布吉
- 在14篇文章中引用[sw00409]
- 结合了Boogie和交互式定理证明器伊莎贝尔/霍尔. 特别是,我们提出了结合。。。
-
贝莱坎普·扎森豪斯
- 引用9篇文章[sw28596]
- 无平方整数多项式的因式分解伊莎贝尔/霍尔. 我们进一步修改现有的形式化。。。在中不可能存在依赖类型伊莎贝尔/霍尔我们用Isabelle对整个算法进行了形式化描述。。。