可口可乐 软件作者：德林格，克里斯托夫；Duford，让·弗朗索瓦 参考文献： 1816份出版物（1993-2022） 相关软件： 伊莎贝尔/霍尔；伊莎贝尔；霍尔；PVS公司；霍尔灯；Nuprl… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）
自动机 软件作者：N。G、 德布鲁因；维迪迪克，弗里克；卡马雷丁，费尔鲁兹；莱恩，吐温；内德佩尔特，罗伯 参考文献： 423份出版物（1970年至2022年） 相关软件： 成本；Nuprl公司；毫升；伊莎贝尔；后桅；乐高… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
阿格达 软件作者：乌尔夫·诺瑞尔 参考文献： 208种出版物（1999-2022年） 相关软件： 成本；哈斯克尔；霍尔灯；伊莎贝尔/霍尔；Nuprl公司；伊德里斯… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）
Isar 软件作者：马卡里乌斯温泽尔 参考文献： 143种出版物（2000年至2021年） 相关软件： 伊莎贝尔；伊莎贝尔/霍尔；成本；后桅；伊莎贝尔/伊萨尔；霍尔… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）
苍蝇 软件作者：哈尔斯，托马斯·C。；Tankink，Carst公司；卡利斯齐克，塞扎里；城市，约瑟夫；Geuvers，赫尔曼 参考文献： 122种出版物（2004-2022年） 相关软件： 霍尔灯；伊莎贝尔/霍尔；成本；开普勒98；后桅；霍尔… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；凸与离散几何（52-XX）
喀拉喀托 软件作者：3月，C。；保林·莫林，C。；德克萨斯州乌尔班。 参考文献： 77种出版物（2004-2021年） 相关软件： 原因3；球茎；JML公司；布吉；规格；因为… 主要领域： 数理逻辑与基础（03-XX）；偏微分方程组（35-XX）；数值分析（65-XX）
Coq/S参考 软件作者：微软国际研究院联合中心 参考文献： 71种出版物（2008-2021年） 相关软件： 成本；伊莎贝尔/霍尔；后桅；ACL2；伊莎贝尔；苍蝇… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与概化（20-XX）
一般证明 软件作者：阿斯皮纳尔，大卫 参考文献： 50种出版物（2000-2019） 相关软件： 成本；伊莎贝尔；伊莎贝尔/霍尔；后桅；Isar；伊莎贝尔/杰迪特… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；偏微分方程（35-XX）
玉米 软件作者：亨克·巴伦德雷格特、文斯·Bárány、鲁伊斯·克鲁斯·菲利佩、赫尔曼·格韦尔斯、马里乌斯·吉罗、里克·范金内肯、迪米特里·亨德里克斯、塞巴斯蒂安·汉德尔、塞扎里·卡利斯克、B·W·M·柯克尔斯、皮埃尔·勒图泽、艾里斯·勒布、莱昂内尔·马曼内姆·米拉德·尼基、拉塞尔·奥康纳、兰迪·波拉克、尼科莱·V·施密列夫、巴斯斯皮特斯、丹·西内克、弗里克·维迪里克、扬·茨瓦南堡 参考文献： 39种出版物（2004-2022年） 相关软件： 成本；伊莎贝尔/霍尔；后桅；ACL2；霍尔灯；PVS… 主要领域： 数理逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）
CiME公司 软件作者：Évelyne Contejean、Claude marche、Andrei Paskevich、Xavier Urbain 参考文献： 37种出版物（1997-2019） 相关软件： 批准；酪氨酸；成本；CeTA；颜色；伊莎贝尔/霍尔… 主要领域： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）
颜色 软件作者：F。布朗基，W.德洛贝尔，S.Coupet Grimal，S.Hinderer，A.Koprowski 参考文献： 37种出版物（2006-2019） 相关软件： 成本；伊莎贝尔/霍尔；CeTA；批准；CiME公司；蒂罗尔… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）
不 软件作者：纳涅夫斯基，亚历山达；莫里塞特，格雷格；希纳，阿夫拉罕；哥维罗，保罗；伯克达尔，拉尔斯 参考文献： 34种出版物（2008-2019） 相关软件： 成本；伊莎贝尔/霍尔；哈斯克尔；伊莎贝尔；VeriFast公司；规格… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）
伊莎贝尔/绝地 软件作者：温泽尔，马卡里厄斯 参考文献： 34种出版物（2011-2022） 相关软件： 伊莎贝尔；伊莎贝尔/霍尔；成本；皮德；一般证明；存档正式证据… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
Ott公司 软件作者：西厄尔，彼得；纳尔德利，弗朗西斯科·扎帕；欧文斯，斯科特；佩斯金，吉尔；里奇，托马斯；萨卡，苏米特；韩国斯特尼沙 参考文献： 33种出版物（2007-2021） 相关软件： 成本；伊莎贝尔/霍尔；名义上的伊莎贝尔；伊莎贝尔；二层；波普马克… 主要领域： 数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）；计算机科学（68-XX）
大学数学 软件作者：Voevodsky，V.，Mörtberg，A.，Ahrens，B.，Lelay，C.，Pannila，T.，Matthes，R。 参考文献： 24种出版物（2016-2022） 相关软件： github；成本；卡比卡尔特；瘦身；霍特；阿格达… 主要领域： 数理逻辑与基础（03-XX）；代数几何（14-XX）；范畴论；同调代数（18-XX）
泽农 软件作者：博尼肯，理查德；德拉哈耶，大卫；多利吉，达米安 参考文献： 19种出版物（2007-2021） 相关软件： 成本；TPTP；德杜克蒂；伊莎贝尔/霍尔；聚焦；B是… 主要领域： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
弗洛克 软件作者：S博尔多；G梅尔奎恩；印度卢比 参考文献： 22种出版物（2011-2022） 相关软件： 成本；原因3；加帕；霍尔灯；z3；MPFR… 主要领域： 数理逻辑与基础（03-XX）；数论（11-XX）；偏微分方程（35-XX）
爱迪丝 软件作者： – 参考文献： 22种出版物（2011-2021） 相关软件： 伊德里斯；成本；阿格达；哈斯克尔；github；精益… 主要领域： 数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）；代数拓扑学（55-XX）
帕科 软件作者：钟基虎、格奥尔格·奈斯、德里克·德雷耶、维克多·瓦菲亚迪斯 参考文献： 22种出版物（2013-2021） 相关软件： 成本；伊莎贝尔/霍尔；阿格达；伊莎贝尔；中粮集团；科卡姆… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；一般代数系统（08-XX）
克米诺 软件作者：阿佩尔，A.W.，布莱兹，S。 参考文献： 17种出版物（2007-2016） 相关软件： 成本；公司证书；伊莎贝尔/霍尔；CIL公司；布吉；达夫尼… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
加帕 软件作者：纪尧姆·梅尔奎恩 参考文献： 19种出版物（2009-2021） 相关软件： 成本；z3；阿斯特里；PVS公司；原因3；弗洛克… 主要领域： 数理逻辑与基础（03-XX）；实函数（26-XX）；偏微分方程（35-XX）
混合的 软件作者：混合群 参考文献： 18种出版物（2012-2021） 相关软件： 二层；成本；波普马克；阿贝拉；名义上的伊莎贝尔；白鲸… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
雅加达 软件作者：Daniela Junho de Andrade，西蒙梅洛·德索萨 参考文献： 17种出版物（2001-2014） 相关软件： 成本；OCaml公司；勒托斯；A3PAT；SCC；ITP… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；地球物理学（86-XX）
COQ锤 软件作者：捷克，乌卡斯；卡利斯齐克，塞扎里 参考文献： 17种出版物（2017-2021） 相关软件： 成本；定理证明器；伊莎贝尔/霍尔；后桅；TPTP；吸血鬼… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；代数几何（14-XX）
地质屋顶 软件作者：朱利安·纳布克斯；尼古拉斯·弗朗索瓦 参考文献： 16种出版物（2007-2020） 相关软件： GEX公司；地球物理学；成本；GCLC；GeoGebra公司；JGEX… 主要领域： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
霍特 软件作者：Andrej Bauer，Jason Gross，Peter LeFanu Lumsdane，Mike Shulman，Matthieu Sozeau，Bas Spitters 参考文献： 16种出版物（2016-2021） 相关软件： github；成本；数学溢出；大学数学；卡比卡尔特；购物车多维数据集… 主要领域： 数理逻辑与基础（03-XX）；代数几何（14-XX）；范畴论；同调代数（18-XX）
Mtac公司 软件作者：Ziliani，贝塔；德雷尔，德里克；克里希纳斯瓦米，尼拉坎坦R。；纳涅夫斯基，亚历山达；维克多，瓦菲亚迪斯 参考文献： 16种出版物（2013-2021） 相关软件： 成本；阿格达；伊德里斯；seL4；验证；霍尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
花椰菜 软件作者：波尔多，西尔维；莱莱，凯瑟琳；梅尔奎德，纪尧姆 参考文献： 15种出版物（2015-2022） 相关软件： 成本；伊莎贝尔/霍尔；瘦身；PVS公司；开普勒98；玉米粉… 主要领域： 数理逻辑与基础（03-XX）；代数几何（14-XX）；常微分方程（34-XX）
幼犬 软件作者：阿斯佩蒂，安德里亚；吉迪，费鲁乔；萨尔多蒂·科恩，克劳迪奥；塔西，恩里科；扎奇罗利，斯特凡诺 参考文献： 15种出版物（2006-2021） 相关软件： 后桅；成本；MML公司；马蒂塔；Nuprl公司；伊莎贝尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
菲亚特 软件作者：特拉华州，B.，克劳德尔，C.P.，格罗斯，J.，奇利帕拉，A。 参考文献： 14种出版物（2015-2019） 相关软件： 成本；伊莎贝尔/霍尔；伊莎贝尔；证书；卡格默尔；OCaml… 主要领域： 序，格，有序代数结构（06-XX）；计算机科学（68-XX）
认证 软件作者：Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，O.S.，Belanger，O.S.，Sozeau，M.，Weaver，M。 参考文献： 13种出版物（2017-2022） 相关软件： 成本；卡格默尔；伊莎贝尔/霍尔；OEuf公司；霍尔；菲亚特… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）
CtCoq公司 软件作者：伯托，Y。 参考文献： 12种出版物（1996-2017） 相关软件： 成本；一般证明；马蒂塔；半人马；幼犬；米扎尔… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）
伊莎贝尔/皮德 软件作者：马卡里乌斯温泽尔；伯克哈特·沃尔夫 参考文献： 13种出版物（2012-2020） 相关软件： 成本；伊莎贝尔；伊莎贝尔/绝地；一般证明；伊莎贝尔/霍尔；皮德… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
维拉斯科 软件作者：雅克·亨利·约尔丹、文森特·拉波特、桑德琳·布莱兹、泽维尔·勒罗伊、大卫·皮查迪 参考文献： 12种出版物（2016-2021） 相关软件： 成本；z3；阿斯特里；工具链；LLVM；哈希*… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；凸与离散几何（52-XX）
公司 软件作者：萨耶夫契克，雅罗斯拉夫；维克多·瓦菲亚迪斯；萨帕·纳尔德利，弗朗西斯科；苏雷什贾甘纳森；休厄尔，彼得 参考文献： 12种出版物（2013-2019） 相关软件： 成本；公司证书；帕科；普通中等学校；卡格默尔；公司证书… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；一般代数系统（08-XX）
皮德 软件作者：温泽尔，马卡里厄斯 参考文献： 12种出版物（2012-2022） 相关软件： 伊莎贝尔/绝地；成本；大锤；伊莎贝尔/霍尔；一般证明；伊莎贝尔/伊萨尔… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
米兹3 软件作者：维迪迪克，弗里克 参考文献： 11种出版物（2012-2020） 相关软件： 成本；后桅；Isar；霍尔；伊莎贝尔/霍尔；天哪… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学，电磁理论（78-XX）
冲锋！ 软件作者：本特森，杰斯帕；詹森，乔纳斯·布拉班德；伯克达尔，拉尔斯 参考文献： 10种出版物（2012-2021） 相关软件： 成本；工具链；VeriFast公司；臀部；VeriSmall公司；Frama-C… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
聚焦 软件作者：印度卢比；佩索，F.，韦亚，P.，多利盖兹，D。 参考文献： 8种出版物（2015-2021） 相关软件： 成本；德杜克蒂；PVS公司；泽农；伊莎贝尔/霍尔；霍尔灯… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ML4PG 软件作者：赫拉斯，约拿单；叶卡捷琳娜Komendantskaya 参考文献： 10种出版物（2013-2021） 相关软件： 成本；乌贼；苍蝇；Coq/S反射；韦卡；ACL2… 主要领域： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
前驱 软件作者：Tankink，Carst公司；格韦尔斯，赫尔曼；麦金纳，詹姆斯；维迪迪克，弗里克 参考文献： 8种出版物（2010-2016） 相关软件： 成本；一般证明；伊莎贝尔；苍蝇；霍尔灯；米扎尔… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）
GeoCoq公司 软件作者：迈克尔·比森，皮埃尔·布特里，加布里埃尔·布劳恩，查利·格里斯，朱利安·纳布克斯 参考文献： 8种出版物（2007-2021） 相关软件： 成本；伊莎贝尔/伊萨尔；JGEX公司；GeoGebra公司；伊莎贝尔；地质学… 主要领域： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
地理视图 软件作者：伯托，Y.，吉尔霍特，F.，波特，L。 参考文献： 9种出版物（2006-2017） 相关软件： 地球物理学；GCLC；MMP/几何计；GEX公司；GCL校准仪；地质勘探… 主要领域： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
SMTCoq公司 软件作者：Ekici，B.等人。 参考文献： 9种出版物（2017-2021） 相关软件： 成本；z3；大锤；伊莎贝尔/霍尔；CVC4；阿凡达… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）
THYC公司 软件作者：勒柯克。；奥布里，S。；卡胡埃，J。；莱克斯内，P。；尼古拉斯，G。；帕斯托里尼，S。 参考文献： 9种出版物（2010-2021） 相关软件： FLICA-4；凯瑟琳；FLICA-OVAP；阿格拉；塞德雷；他-伊戈夫… 主要领域： 偏微分方程组（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
TRX公司 软件作者：科普罗夫斯基，亚当；宾兹托克，亨利 参考文献： 8种出版物（2010-2020） 相关软件： 成本；阿格达；霍尔；公司证书；github；选择4… 主要领域： 计算机科学（68-XX）
A3PAT公司 软件作者：康特让，E.，帕斯凯维奇，A.，乌尔班，X.，库蒂厄，P.，庞斯，O.，森林，J。 参考文献： 8种出版物（2010-2017） 相关软件： 颜色；CeTA；伊莎贝尔/霍尔；成本；批准；蒂罗尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CertiKOS公司 软件作者：顾，R，邵，Z，陈，H.，吴，X.N.，金，J.，Sjöberg，V.，Costanzo，D。 参考文献： 8种出版物（2017-2020） 相关软件： seL4；伊莎贝尔/霍尔；伊莎贝尔；霍尔；成本；GitHub… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CFML 软件作者：查盖罗，亚瑟 参考文献： 7种出版物（2010-2015） 相关软件： 成本；毫升；霍尔；哈斯克尔；米拉瓦；小脚怪… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VeriML公司 软件作者：斯坦普利斯，安东尼；邵，钟 参考文献： 8种出版物（2010-2016） 相关软件： 成本；seL4；Mtac公司；德尔芬；毫升；哈斯克尔… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）
英根 软件作者：艾德米尔，B.E.，韦里奇，S。 参考文献： 7种出版物（2011-2021） 相关软件： 波普马克；伊莎贝尔/霍尔；名义上的伊莎贝尔；阿贝拉；二层；白鲸… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
乌贼 软件作者：格兰斯顿，T.，沃金肖，N.，拉曼，R。 参考文献： 7种出版物（2015-2021） 相关软件： 成本；定理证明器；ML4PG；女警察；苍蝇；男警察… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
维尔姆 软件作者：赵建州；纳加拉卡特、桑托什；马丁，米洛·M.K。；Zdancewic，史蒂夫 参考文献： 7种出版物（2012-2021） 相关软件： 成本；LLVM；格拉尔夫；github；公司证书；卡凯尔… 主要领域： 计算机科学（68-XX）
证书加密 软件作者：巴瑟，吉尔；格雷戈耶，本杰明；Zanella Béguelin，圣地亚哥 参考文献： 5种出版物（2009-2017） 相关软件： 成本；Coq/S反射；易受骗；开普勒98；塞尔4 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
CoqMT公司 软件作者：皮埃尔·伊夫·斯特鲁布 参考文献： 6种出版物（2010-2020） 相关软件： 成本；科克姆图；布吉；执政官；可可碱；竖琴… 主要领域： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）
花球 软件作者：布莱班特，托马斯 参考文献： 6种出版物（2011-2021） 相关软件： 成本；熔岩；卡米语；哈斯克尔；muFP；FreeSpec… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
方程 软件作者：索佐，马修 参考文献： 6种出版物（2010-2020） 相关软件： 成本；伊德里斯；瘦身；爱迪丝；github；朋友们… 主要领域： 数理逻辑与基础（03-XX）；代数拓扑学（55-XX）；计算机科学（68-XX）
焦点测试 软件作者：卡莱尔，马修；杜布瓦，凯瑟琳；戈特利布，阿诺 参考文献： 6种出版物（2011-2018） 相关软件： 快速检查；成本；小支票；数学成分；github；快速鸡… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）
加利娜 软件作者：赫特，杰拉德 参考文献： 6种出版物（1994-2018） 相关软件： 成本；Mtac公司；模板成本；证书；充电！；菲亚特… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
欧夫 软件作者：马伦，E。；佩恩斯泰纳。；威尔科克斯，J.R。；塔洛克，Z。；格罗斯曼，D。 参考文献： 6种出版物（2018-2021） 相关软件： 成本；证书；卡格默尔；伊莎贝尔/霍尔；霍尔；菲亚特… 主要领域： 计算机科学（68-XX）
Pcoq公司 软件作者：艾哈迈德·阿默卡德；伊夫·贝尔托，洛伊克·波特；劳伦斯·里多 参考文献： 5种出版物（2007-2012） 相关软件： 成本；Isar；校样通用工具箱；地理视图；GEX公司；地质勘探… 主要领域： 计算机科学（68-XX）
皮尔斯纳 软件作者：不，乔治；中基赫；凯撒，简·奥利弗；麦克劳夫林，克雷格；德雷尔，德里克；维克多，瓦菲亚迪斯 参考文献： 6种出版物（2015-2021） 相关软件： 成本；卡格默尔；伊莎贝尔/霍尔；霍尔；布吉；卡米… 主要领域： 计算机科学（68-XX）
提姆 软件作者：王，P.，王，D.，克莉帕拉，A。 参考文献： 6种出版物（2018-2021） 相关软件： TcT；z3；分离逻辑；OptiMathSAT公司；摊余复杂度；基特尔… 主要领域： 计算机科学（68-XX）
威尔第 软件作者：J。R、 威尔科克斯，D.伍斯，P.潘切卡，Z.塔洛克，X.王，M.D.恩斯特，T.E.安德森 参考文献： 6种出版物（2017-2021） 相关软件： z3；常春藤；常春藤；心理同步；纽克斯梅夫；查巴… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VeriSmall公司 软件作者：阿佩尔，安德鲁W。 参考文献： 5种出版物（2012-2018） 相关软件： 成本；充电！；小脚；杀戮者；VeriFast公司；jStar… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
基岩 软件作者：亚当·克利帕拉 参考文献： 4种出版物（2017-2019） 相关软件： 成本；工具链；OCaml公司；归档正式证据；摊余复杂度；分离逻辑… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
舒适的 软件作者：Dénès M；西里尔·科恩；安德斯·莫特伯格 参考文献： 5种出版物（2012-2021） 相关软件： 成本；Coq/S反射；非理性的；Coq组合；数学成分；存档正式证据… 主要领域： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；代数拓扑学（55-XX）
振镜 软件作者：西尔瓦，P.F。；奥利维拉，J.N。 参考文献： 5种出版物（2009-2019） 相关软件： 菲亚特；维拉斯科；阿斯特里；美国石油协会；阿格达；Z、 … 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；序，格，有序代数结构（06-XX）
机械化语义库 软件作者：阿佩尔，A.W.，多金斯，R.，霍博尔，A 参考文献： 5种出版物（2011-2015） 相关软件： 成本；p螺纹；布吉；区域贸易管制；情态；VeriSmall公司 主要领域： 数理逻辑与基础（03-XX）；通用拓扑（54-XX）；计算机科学（68-XX）
中音 软件作者：波特，弗朗索瓦；普罗岑科，乔纳森 参考文献： 4种出版物（2014-2018） 相关软件： 壁龛；羽状爪哇；罗丹；生锈；充电！；推断… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
快克 软件作者：帕拉斯凯沃普卢，佐伊；Hriţcu，Cătălin；德恩尼斯，马克西姆；七鳃鳗；皮尔斯，本杰明·C。 参考文献： 5种出版物（2015-2019） 相关软件： PVS公司；成本；快速检查；吹毛求疵；小支票；z3… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）
岩盐矿 软件作者：Morrisett，G.，Tan，G.，Tassarotti，J.，Tristan，J.B.，Gan，E。 参考文献： 5种出版物（2015-2021） 相关软件： 成本；GDSL公司；FreeSpec公司；可操作性；卡米语；GitHub… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
沙帕尔 软件作者：莱萨尼、莫森；贝尔，克里斯蒂安J。；克利帕拉，亚当 参考文献： 4种出版物（2016-2021） 相关软件： 威尔第；z3；推定证明；归档正式证据；CVC4；常春藤… 主要领域： 计算机科学（68-XX）
可可碱 软件作者：阿里·阿萨夫、马修·博斯弗鲁格、纪尧姆·布雷尔、昆廷·卡布诺、加斯帕德·费雷、弗朗索瓦·蒂尔 参考文献： 4种出版物（2015-2021） 相关软件： 成本；CoqHammer公司；霍尔灯；后桅；PVS公司；伊莎贝尔/霍尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CoqJVM公司 软件作者：Coq开发团队、CNRS、INRIA和巴黎大学 参考文献： 4个出版物（2008-2021） 相关软件： 伊莎贝尔/霍尔；霍尔；TSL公司；K检验器；佐醇；公司证书… 主要领域： 计算机科学（68-XX）
盖亚 软件作者：何塞·格里姆（马雷尔团队） 参考文献： 4种出版物（2010-2016） 相关软件： 成本；Coq/S反射；苍蝇；阿尔夫；OMDoc公司；自动机… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
普通中等教育 软件作者：麦克莱特，安德鲁；骑士，蒂姆；托尔马赫，安德鲁 参考文献： 4种出版物（2010-2019） 相关软件： 成本；公司证书；CompCertTSO公司；霍尔；米拉瓦；OCaml… 主要领域： 计算机科学（68-XX）
Gmeta公司 软件作者：李，吉斯克；奥利维拉，布鲁诺哥伦比亚特区。；赵成昆；易光景 参考文献： 4种出版物（2012-2020） 相关软件： 英根；波普马克；Psi结石；名义上的伊莎贝尔；伊莎贝尔；混合动力… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
卡米 软件作者：Choi，J.，维贾亚拉哈万，M.，谢尔曼，B.，Chlipala，A.，Arvind 参考文献： 4种出版物（2018-2021） 相关软件： 成本；github；花束；哈斯克尔；FreeSpec公司；运行中… 主要领域： 计算机科学（68-XX）
Lem公司 软件作者：莫利根，多米尼克·P。；欧文斯，斯科特；格雷，凯瑟琳E。；里奇，汤姆；休厄尔，彼得 参考文献： 3个出版物（2011-2021） 相关软件： 伊莎贝尔/霍尔；成本；ACL2；霍尔灯；霍尔；Ott… 主要领域： 计算机科学（68-XX）
数学成分 软件作者：数学部件组 参考文献： 4种出版物（2016-2021） 相关软件： 成本；伊莎贝尔/霍尔；github；快速鸡；小支票；快速检查… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
情态 软件作者：希茨科夫斯基，菲利普；比兹亚克，阿莱；伯克达尔，拉尔斯 参考文献： 4种出版物（2015-2020） 相关软件： 成本；卡米语；归档正式证据；github；UTPCalc公司；马戏团… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
NL认证 软件作者：维克多·马格伦 参考文献： 4种出版物（2014-2017） 相关软件： OCaml公司；成本；索利亚；德雷尔；弗洛克；霍尔灯… 主要领域： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）
模板Coq 软件作者：阿南，阿披实；布利尔，西蒙；科恩，西里尔；索佐，马修；尼古拉斯，塔巴劳 参考文献： 4种出版物（2018-2021） 相关软件： 成本；元计算；伊德里斯；证书；Mtac公司；埃尔皮… 主要领域： 计算机科学（68-XX）
安森迈尔 软件作者：石垣，Etsuya；Hagihara，Shigeki；小林直树，；西崎，新雅；肯吉罗托拉，；渡边，Takuo 参考文献： 2份出版物（2003年） 相关软件： 成本；TALx86；JFlow公司；FDR2；发生；Java探路者… 主要领域： 计算机科学（68-XX）
双色胺 软件作者：惠斯曼，M.，佩特里，G。 参考文献： 3种出版物（2009-2018） 相关软件： 归档正式证据；金贾螺纹；伊莎贝尔/霍尔；K检验器；CLDC公司；金贾不是爪哇… 主要领域： 计算机科学（68-XX）
霍特SQL 软件作者：朱树模、康斯坦丁·韦茨、张爱文、丹素秋 参考文献： 3种出版物（2018-2021） 相关软件： 成本；立体阿格达；雷德普瑞；卡比卡尔特；伊德里斯；精益… 主要领域： 计算机科学（68-XX）
MMode公司 软件作者：吉罗·M，维迪杰克·F。 参考文献： 3种出版物（2014-2015） 相关软件： 后桅；成本；Isar；伊莎贝尔/伊萨尔；逻辑2CNF；天哪… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
区域贸易中心 软件作者：Malecha，G.，Bengtson，J。 参考文献： 3种出版物（2015-2021） 相关软件： 成本；CompCertTSO公司；德尔芬；seL4；验证；Mtac… 主要领域： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
VeriStar公司 软件作者：斯图尔特，戈登；贝林格，伦纳德；阿佩尔，安德鲁W。 参考文献： 3种出版物（2012-2016） 相关软件： 成本；jStar公司；小脚；岩盐；加利娜；VeriSmall… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VST弗洛伊德 软件作者：曹操、秦翔；贝林格，伦纳德；格鲁特，塞缪尔；多德，约西亚；阿佩尔，安德鲁W。 参考文献： 3种出版物（2018-2021） 相关软件： 成本；工具链；生锈；达夫尼；github；VeriFast… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
爱丽丝 软件作者：Vivien Maisonneuve，Olivier Hermant，弗朗索瓦·伊里冈 参考文献： 2种出版物（2014-2018） 相关软件： 阿斯特里；烟尘；PPL；停机坪；欧米茄；帕加伊… 主要领域： 计算机科学（68-XX）
ArchSAT公司 软件作者：纪尧姆·伯里 参考文献： 1份出版物（2020年） 相关软件： 泽农；TPTP；德杜克蒂；拉链位置；定理证明器；埃克斯特拉克托… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿斯特拉弗 软件作者：格里戈里·沃尔科夫、米哈伊尔·曼德里金、丹尼斯·埃夫雷莫夫 参考文献： 1次出版（2021年） 相关软件： 成本；归档正式证据；github；GKLEE公司；gpu验证；库达… 主要领域： 计算机科学（68-XX）
Coq间隔 软件作者：纪尧姆·梅尔奎恩 参考文献： 2种出版物（2019年） 相关软件： 成本；花椰菜；倍频程；海克莫特；厚颜无耻的；GitHub… 主要领域： 流形和细胞复合体（57-XX）；数值分析（65-XX）；计算机科学（68-XX）
Coq组合 软件作者：弗洛伦特海弗特 参考文献： 2种出版物（2021年） 相关软件： 归档正式证据；伊莎贝尔/霍尔；斯皮尔拉金延伸段；林登的话；github；伊莎贝尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
柯库恩 软件作者：Bengtson，J.，Mehnert，H.，Faithfull，A。 参考文献： 2种出版物（2015-2016） 相关软件： 一般证明；成本；github；豌豆；舒适；CtCoq… 主要领域： 计算机科学（68-XX）