CryptHOL公司 12份文件引用（2017年-2023年） 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
拟Borel空间 引用于2份文件(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教堂；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）