存档正式证据 278篇文献引用（1963年至2024年） 软件作者： Jasmin Christian布兰切特；马克西米利安·哈斯贝克；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
数学图书馆 10篇文献引用(2020–2022) 软件作者： 弗洛里斯·范·道恩（Floris van Doorn）；加布里埃尔·埃布纳；罗伯特·刘易斯（Robert Y.Lewis）。；mathlib社区 相关软件： 精益；Coq；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…