乐高 116篇文献引用(1991–2023) 软件作者: 罗,Z.,波拉克,R。 相关软件: Coq;Nuprl;自动数学… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
德尔芬 17篇文献引用(2003–2020) 软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。 相关软件: Twelf;Coq;白鲸… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
塞尔夫 4份文件引用(2008–2023) 软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼 相关软件: TALx86;洛利;混合型… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
林肯 引用于2份文件(2017–2021) 软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡 相关软件: github;阿格达;丁香… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)