×

找到7个软件包(结果1-7)

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)

切片

1份文件引用(2008)
软件作者: 丹尼尔·瓦瑟拉布
相关软件: 伊莎贝尔/伊萨尔;Isabelle/HOL;伊莎贝尔
主要字段: 计算机科学(68-XX)

筛选结果依据…