嵌套多集 4份文件引用（2017年-2023年） 软件作者： 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里（Mathias Fleury）；德米特里·特拉泰尔 相关软件： Isabelle/HOL；Coq；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）