名义伊莎贝尔 82份文件引用(2005–2023) 软件作者： Urban，基督教；Cezary卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
壁龛 4份文件引用(2018–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·鲁埃达 相关软件： 奎珀；混合的；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
潜水艇 3份文件引用(2006–2012) 软件作者： Brown，Chad E。 相关软件： Twelf；马蒂塔；NetSketch… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）