×

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

模糊的

7份文件引用(1985–2017)
软件作者: 托马斯·莱曼;雅克·勒克斯
相关软件: Nuprl;LCF;曼蒂萨…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…

加利纳

6篇文献引用(1994–2018)
软件作者: 杰拉德·休特
相关软件: Coq;甲基丙烯酸甲酯;模板Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…