验证器 3份文件引用（2016年至2019年） 软件作者： 高弘久保田；Kakutani、Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理清单；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
霍尔巴 2份文件引用(2020–2022) 软件作者： 迪德里克·伦德伯格（Didrik Lundberg）；罗伯特·瓜夏莱（Roberto Guanciale）；安德烈亚斯·林德纳；达姆，麦兹 相关软件： RGITL；达菲；GNAT证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）