cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生动 3份文件引用(2009–2017) 软件作者： 阿库达斯，康斯坦丁；塞尔默布林斯乔尔 相关软件： SNARK；米扎尔；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）