Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: 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
Development status:Beta
Kind: Applications written in Caml :: Scientific software
Topic: Science :: Maths and Logic