ACL2 软件作者：彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；J Strother摩尔 引用于： 12出版物（2007-2021） 相关软件： ACL2；芝诺；NQTHM；z3；布吉；快速检查… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
校样板 软件作者：Caleb Eggensperger公司 引用于： 1出版物（2018） 相关软件： ACL2；ACuLa博士；Java博士；DrScheme博士 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）