新鲜ml 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
剑桥LCF 28篇文献引用(1985–2019) 软件作者： 劳伦斯·C·鲍尔森。；康拉德·斯林德 相关软件： Nuprl公司；自动化；LCF… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CSP防护 引用于17份文件(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
弗兰 10篇文献引用(1997–2022) 软件作者： 科纳尔·埃利奥特；保罗·哈达克 相关软件： 哈斯克尔；卢斯特；酯类… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
ProbNetKAT公司 7份文件引用(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科岑；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： Coq；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
差异_游戏_逻辑 3份文件引用(2015–2022) 软件作者： 安德烈·普拉泽 相关软件： 凯伊迈拉；Bellerophon公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
光环 3份文件引用(2013–2017) 软件作者： 迪米特里厄斯病毒性肠炎；西蒙·佩顿·琼斯；科恩·克莱森；丹·罗森 相关软件： z3；哈斯克尔；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生动 3份文件引用(2009–2017) 软件作者： 阿库达斯，康斯坦丁；塞尔默布林斯乔尔 相关软件： SNARK；米扎尔；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；克里希纳斯瓦米，尼拉坎坦·R。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
原型Quipper-M 2份文件引用(2018–2022) 软件作者： 里奥斯，弗朗西斯科；彼得·塞林格 相关软件： 奎珀；哈斯克尔 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SkuARE公司 2份文件引用(2020–2022) 软件作者： 巴苏，金加尔；萨拉特·钱德拉（Sarat Chandra），瓦拉纳西（Varanasi）；法哈德·沙克林（Farhad Shakerin）；戈帕尔·古普塔 相关软件： 小队；水；ASP… 主要字段： 计算机科学（68-XX）
nQML公司 引用于1份文件(2008) 软件作者： Michael Lampis；基里亚科斯·吉尼斯。；Michalis A.Papakyriakou。；尼古拉斯·帕帕斯普鲁。 相关软件： qGCL；质量管理清单；哈斯克尔… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）