ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: –
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: (03B35-XX);(03B15-XX);(03E25-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl公司;Coq… 主要字段: (68T15-XX)
狮子座III 21篇文献引用(2015–2023) 软件作者: 亚历山大·斯蒂恩(Alexander Steen);马克斯·维斯涅夫斯基(Max Wisniewski);克里斯托夫·本兹穆勒 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: (65年XX月XX日);(68T15-XX);(68U35-XX)…
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;GitHub… 主要字段: –
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;基夫;Dafny… 主要字段: (68Q60-XX);(03B44-XX);(68T15-XX)…
嵌入模式 7份文件引用(2017–2022) 软件作者: Gleißner,托拜厄斯;亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒 相关软件: Isabelle/HOL;尼特皮克;E定理证明器… 主要字段: (68T15-XX);(03B35-XX);(03B45-XX)
LogiKEy公司 5份文件引用(2020–2022) 软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件: Isabelle/HOL;Nitpick公司;存档正式证据… 主要字段: –
UTP2型 5份文件引用(2010–2019) 软件作者: 安德鲁·布特菲尔德 相关软件: 硫苷;Isabelle/HOL;Isabelle/UTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TS公司# 2份文件引用(2014–2017) 软件作者: 尼基尔·斯瓦米;Fornet,塞德里克;拉斯托吉(Aseem Rastogi);Bhargavan,Karthikeyan;陈娟;支柱,Pierre-Yves;加文·比尔曼 相关软件: JavaScript;ProVerify;网址(Ur/Web)… 主要字段: (68N15-XX);(68N18-XX);(68N20-XX)…
Nuprl-Light公司 1份文件引用(1997) 软件作者: 杰森·希基。 相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔 主要字段: (68V15-XX);(03B16-XX);(68V20-XX)