Nuprl公司

此软件的关键字
zbMATH中的参考文献, 5标准条款 )
Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020) Johansson,Moa:归纳引理的发现。 调查(2019年) Kellison,Ariel;Bickford,Mark;Constable,Robert:在类型论中实现欧几里得的直尺和罗盘构造(2019) Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019) 米勒,戴尔:重温机械化元理论(2019) Rahli,Vincent;Bickford,Mark;Cohen,Liron;Constable,Robert L.:酒吧归纳法与建构型理论兼容(2019) Reynolds,Andrew;Kuncak,Viktor;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:SMT中基于反驳的合成(2019) 安圭利,卡罗;哈珀,罗伯特:更高维度的意义解释(2018) Avelar da Silva,Andréia B.;de Lima,Thaynara Arielly;Galdino,AndréLuiz:PVS中的形式化环理论(2018) Avron,Arnon;Cohen,Liron:最小计算集合理论中的应用数学(2018) Carette,雅克;Farmer,William M.;Laskowski,Patrick:HOL Light QE(2018年) Farmer,William M.:将引用和评价纳入Church的类型理论(2018) Harper,Robert:开放世界中的异常跟踪(2018) Rahli,Vincent;Bickford,Mark:使用命名异常验证Brouwer对数字的连续性原则(2018) Rahli,Vincent;Cohen,Liron;Bickford,Mark:由单调库支持的已验证定理证明器后端(2018) Shankar,Natarajan:模型检验与演绎相结合(2018) Berger,Ulrich;Hou,Tie:Church简单类型理论的可实现性解释(2017) Buss,Samuel R.(编辑);Iemhoff,Rosalie(编辑);Kohlenbach,Ulrich(编辑);Rathjen,Michael(编辑):数理逻辑:证明理论,建构数学。 2017年11月5日至11日(2017年)研讨会摘要 Cauderlier,Raphaël;Dubois,Catherine:Focusize and dedukti to rescue for proof interoperability(2017年) 《皮埃尔与装饰之精华》(2017)