莱姆 引用于4份文件(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；里奇，汤姆；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
TCB公司 5份文件引用(2003–2021) 软件作者： Andrew W.Appel。；Michael，新植物；阿伦·斯塔姆（Aaron Stump）；罗伯托·维尔加 相关软件： Coq；MetaCoq；ELPI… 主要字段： 计算机科学（68-XX）