NQTHM公司 154份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论和推广（20-XX）…
埃兰 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Ciao公司 56篇文献引用(1999–2022) 软件作者： Bueno，F.，Cabeza，D.，Carro，M.，Hermenegildo，M.、López-García，P.、Puebla，G。 相关软件： CiaoPP；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
HasCasl公司 引用于17份文件(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
隐秘HOL 12份文件引用(2017–2023) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
PrologCheck（序言检查） 3份文件引用(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriStar公司 3份文件引用(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
派特尔 1份文件引用(2021) 软件作者： Algorand公司 相关软件： github；Coq公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）