×

找到6个软件包(结果1-6)

霍利·哈默

31份文件引用(2014–2022)
软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班
相关软件: HOL灯;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

VeriML公司

8份文件引用(2010–2016)
软件作者: 安东尼斯·斯坦普利斯;邵,钟
相关软件: Coq;甲基丙烯酸甲酯;seL4…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

PyZX公司

5份文件引用(2019–2022)
软件作者: 基辛格,Aleks;约翰·范德韦特林
相关软件: 奎珀;项目Q;Quantomatic…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

西格玛KEE

4份文件引用(2009年至2020年)
软件作者: 亚当·皮斯(Adam Pease);斯蒂芬·舒尔茨
相关软件: E定理证明器;VAMPIRE公司;SRASS…
主要字段: 计算机科学(68-XX)

路由库

2份文件引用(2018–2020)
软件作者: 兰·兹米格罗德;马修·达吉特(Matthew L.Daggitt)。;蒂莫西·格里芬。
相关软件: 阿格达;github
主要字段: 计算机科学(68-XX)

筛选结果依据…