HOL公司 603文件引用(1985–2024) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；伊莎贝尔·霍尔；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
酯类 144篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；伊莎贝尔·霍尔；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
小型支票 18篇文献引用(2010–2022) 软件作者： Runciman，C.、Naylor，M.、Lindblad，F。 相关软件： 快速检查；哈斯克尔；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
快速鸡 7份文件引用(2015–2022) 软件作者： Paraskevopoulou，佐伊；Hriţcu，科特林；邓内斯，马克西姆；Lampropoulos，列奥尼达斯；本杰明·皮尔斯。 相关软件： 快速检查；PVS；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
幸运 4份文件引用(2017–2021) 软件作者： 莱昂尼达斯·兰普罗普洛斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·皮尔斯（Benjamin C.Pierce）。；夏、李耀 相关软件： Nitpick公司；快速检查；PVS… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）