PhoX ( 1994 ) este un asistent de probă dezvoltat de Christophe Raffalli la Universitatea din Savoia și anterior la Jussieu cu participarea lui Philippe Curmin , Pascal Manoury și Paul Roziere .
Numele său derivă din faptul că o vulpe (în engleză fox) poate mânca un cocoș ( Cocoșul este un alt ajutor de probă). De asemenea, standuri pentru P asistent de acoperiș H igher O rder logica e X tensible.
Acesta a fost scris în limba OCaml , și poate fi folosit pe majoritatea sistemelor informatice , cum ar fi Linux , pentru Windows și Mac OS X .
După cum sugerează și numele său în limba engleză, PhoX se bazează pe Higher Order Logic și este extensibil. Unul dintre principiile acestui program este să fie cât mai ușor de utilizat și să necesite puțin timp de învățare, acesta fiind folosit pentru predarea studenților la matematică.
Iată diferitele caracteristici ale PhoX:
PML