嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托比亚斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本穆勒 相关软件： MleanCoP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Goedel上帝 8份文件引用(2015–2020) 软件作者： Christoph Benzmüller；Bruno Woltzenlogel古 相关软件： Isabelle/HOL；归档正式校对；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FML至HOL 5份文件引用(2013–2023) 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： Nitpick公司；TPTP；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辛提卡的世界 3份文件引用(2020–2023) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： SMCDEL公司；CUDD；MCMAS公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）