HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
校对能力 52篇文献引用(2001–2020) 软件作者： 罗杰·琼斯；R.D.阿尔森。；戴夫·金；Lemma 1有限公司 相关软件： 马戏团；Z；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；实函数（26-XX）…
Isabelle/j编辑 36篇文献引用(2011–2022) 软件作者： 马卡里乌斯·温策尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
剑桥LCF 28篇文献引用(1985–2019) 软件作者： 劳伦斯·C·鲍尔森。；康拉德·斯林德 相关软件： Nuprl；自动化；LCF… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
伊莎贝尔/PIDE 15篇文献引用（2012年至2020年） 软件作者： 马卡里乌斯·温泽尔；伯克哈特·沃尔夫 相关软件： 伊莎贝尔；Coq；Isabelle/j编辑… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
PIDE公司 13份文件引用(2012–2022) 软件作者： 马卡里乌斯·温策尔 相关软件： Isabelle/jEdit；Isabelle/HOL；大锤… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
HOL-Omega餐厅 9份文件引用(2009–2019) 软件作者： 彼得·霍米埃（Peter V.Homeier）。 相关软件： HOL；伊莎贝尔；Coq… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）