乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动数学… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
林肯 引用于2份文件(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： github；阿格达；丁香… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）