迪杜克蒂 引用于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灯光… 主要字段: –
埃克斯特拉克托 在0个文档中引用 软件作者: Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件: ArchSAT;拉链位置;E定理证明器… 主要字段: –