Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Phox

Phox

PhoX is a proof assistant based on High Order logic and it is eXtensible. One of the principle of this proof assistant is to be as user friendly as possible and so to need a minimal learning time. The current version is still expirimental but starts to be really usable. It is a good idea to try it and make comments to improve the final version.
Homepage ]
Author:Christophe Raffali.
Last modification date:24-Apr-2002
Version:0.83
Development status:Beta
Kind: Applications written in Caml :: Scientific software
Topic: Science :: Maths and Logic
Homepage:http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/phox.html