OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
幸运 4份文件引用(2017–2021) 软件作者： 莱昂尼达斯·兰普罗普洛斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·C·皮尔斯。；夏、李耀 相关软件： 快速检查；PVS；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）