CeTA公司 49篇文献引用(2009–2023) 软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…
证书KOS 10篇文献引用(2017–2022) 软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。 相关软件: seL4;Coq;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
沙帕尔 6篇文献引用(2016–2023) 软件作者: 莱萨尼,莫森;克里斯蒂安·贝尔(Christian J.Bell)。;亚当·奇利帕拉 相关软件: 铁人舰队;威尔第;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
采购订单模板 6篇文献引用(2018–2022) 软件作者: 阿南德,阿比舍克;西蒙·博利埃(Simon Boulier);科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁 相关软件: Coq;CertiCoq;OEuf… 主要字段: 计算机科学(68-XX)
ROSCoq公司 2份文件引用(2015–2018) 软件作者: 阿南德,阿比舍克;罗斯·克内珀 相关软件: Coq公司 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
布拉加方法 1份文件引用(2022) 软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁 相关软件: OCaml;CompCert;Coq公司 主要字段: 计算机科学(68-XX)