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 |