路易

此软件的关键字
zbMATH中的参考文献(参考
Lin,Yuhui;Grov,Gudmund;Arthan,Rob:以图形化的方式理解和维护战术,或者我们是如何认识到一个图表可以价值超过10K LoC(2016年) Schuppan,Viktor:用时间相关性信息增强LTL的不满意核心(2016) C、 Dunchev,A.Leitsch,T.Libal,M.Riener,M.Rukhaia,D.Weller,B.Woltzenlogel Palo:校对工具:GAPT框架的图形用户界面(2013) 阿尔十四 大卫阿斯皮纳尔;丹尼,埃文;吕思,克里斯托夫:分层证明的策略(2010) 阿斯皮纳尔,大卫;奥特克西耶,谢尔盖;吕思,克里斯托夫;瓦格纳,马克:走向融合普拉特(\Omega)和PGIP(2009) ioport公司 Wagner,Marc;Autexier,Serge;Benzmüller,Christoph:\ textscPlat(\Omega):文本编辑器和校对辅助系统之间的调解人(2007) 布鲁诺·布克伯格;阿德里安·克瑞恩;都铎人杰贝伦;科瓦茨,劳拉;库西亚,特穆尔;中川,科吉;皮罗伊,弗洛里纳;波波夫,尼古拉;罗布,朱迪特;罗森克兰兹,马库斯;温斯泰格,沃尔夫冈:\texttheorema:走向计算机辅助数学理论探索(2006) 西格曼,Jörg;Benzmüller,Christoph;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006) 西格曼,Jörg;Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004) Siekmann,J.;Benzmüller,C.;Fiedler,A.;Meier,A.;Pollet,M.:(\Omega)MEGA:(\sqrt2)的证明开发是不合理的(2002年)