×

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

迪杜克蒂

引用于20份文件(2012–2023)
软件作者: 马修·博埃斯弗鲁格(Mathieu Boespflug)、罗南·赛拉德(Ronan Saillard)、弗朗索瓦·瑟雷(François Thiré)、加斯帕德·弗雷(Gaspard Férey)
相关软件: Coq;泽农;HOL灯…
主要字段:

CoqInE公司

4份文件引用(2015–2021)
软件作者: Ali Assaf、Mathieu Boespflug、Guillaume Burel、Quentin Carbonneaux、Gaspard Férey、François Thire
相关软件: Coq;CoqHammer;HOL灯光…
主要字段:

ArchSAT公司

1份文件引用(2020年)
软件作者: 纪尧姆·伯里
相关软件: 泽农;TPTP;dedukti…
主要字段:

埃克斯特拉克托

在0个文档中引用
软件作者: Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui
相关软件: ArchSAT;拉链位置;E定理证明器…
主要字段:

福卡利德

在0个文档中引用
软件作者: 拉斐尔·考德利埃
相关软件: Twelf公司;PVS;白鲸…
主要字段:

克拉约诺

在0个文档中引用
软件作者: A.阿萨夫
相关软件: Twelf;PVS;白鲸…
主要字段:

元重复数据消除

1份文件引用(2018)
软件作者: 拉斐尔·考德利埃
相关软件: dedukti;伊德里斯;Mtac…
主要字段: (68T15-XX)

筛选结果依据…

主字段