精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
HoTT公司 21篇文献引用(2016–2021) 软件作者： Andrej Bauer、Jason Gross、Peter LeFanu Lumsdaine、Mike Shulman、Matthieu Sozeau、Bas Spitters 相关软件： github；Coq；数学溢出… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
立方agda 引用于17份文件(2020–2023) 软件作者： 安德烈亚·维佐西；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： Coq；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
红色PRL 5份文件引用(2018–2021) 软件作者： J.Sterling、D.Gratzer、V.Rahli、D.Morrison、E.Akentyev、A.Tosun 相关软件： 立方体；github；立方agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…