Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
弗洛克 28篇文献引用(2011–2024) 软件作者： S Boldo；G Melquiond；印度.fr 相关软件： Coq；MPFR；Why3… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；偏微分方程（35-XX）…
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
CoqJVM公司 4份文件引用（2008年至2021年） 软件作者： Coq开发团队、CNRS、INRIA和南巴黎大学 相关软件： Isabelle/HOL；HOL；TSL… 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用（2018年） 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）