Ynot公司 34份文件引用（2008年至2019年） 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；辛纳尔，阿夫拉姆；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
密度编译器 7份文件引用(2015–2022) 软件作者： 曼纽尔·埃贝尔、约翰·霍兹尔、托比亚斯·尼普科 相关软件： Isabelle/HOL；HOL；存档正式证据… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）
拟Borel空间 2份文件引用（2017年至2022年） 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）