ModLeanTAP模式 19份文件引用(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: 精益TAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
艾伦TAP 2份文件引用(2008–2021) 软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。 相关软件: Freshml;精益TAP;卡伦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
戈兰 2份文件引用(2022–2023) 软件作者: 朱莉·凯勒;Johann Rosain;戴维·德拉哈耶(David Delahaye);西蒙·罗比拉德;布齐安·欣德·莉莉亚 相关软件: TPTP;睫毛;小猎犬… 主要字段: 计算机科学(68-XX)