密度编译器 7份文件引用(2015–2022) 软件作者： 曼纽尔·埃贝尔、约翰·霍兹尔、托比亚斯·尼普科 相关软件： Isabelle/HOL；HOL；存档正式证据… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
拟Borel空间 2份文件引用（2017年至2022年） 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）