×

PhoX手机

swMATH ID: 9976
软件作者: 克里斯托夫·拉法利
描述: PhoX Proof助手。PhoX是一种基于高阶逻辑的证明助手,它是可扩展的。这个校对助手的原则之一是尽可能方便用户,因此需要最少的学习时间。当前版本仍处于过期状态,但开始真正可用。尝试一下并发表评论以改进最终版本是一个好主意。
主页: http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html
相关软件: 米扎尔;伊萨尔;Coq公司;元数学;阿格达;PVS公司;伊莎贝尔/伊萨尔;枣灰蝶属;米兹3;seL4级;Twelf公司;HOL灯;HOL公司;一般证明;MizarMode(米扎尔模式);马蒂塔;水獭;Minlog公司;乐高;Nuprl公司
引用于: 5文件

按年份列出的引文