-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathREADME
38 lines (23 loc) · 1.15 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
(**************************************************************)
ABOUT THE PROOF SYSTEM PhoX
by
C. Raffalli
Université de Savoie
(**************************************************************)
PhoX is an implementation of Higher Order Logic
You will find in the file "INSTALL" the instruction to install PhoX on
an Unix machine. If you are familiar with OCaml, it should not be
difficult to get it work on any machine which can run OCaml.
In the directory "./doc" you will find a documentation for this
software (This is a draft):
- The files doc.pdf is the documentation of the system
- The files libdoc.pdf are preliminary TeX version
of the documentation of all libraries
Theses files are installed in the directory DOCDIR specified in
the config files (see INSTALL)
The folders tutorial/french and tutorial/english contain tutorial
Look at www.lama.univ-savoie.fr/~raffalli/phox.html for more
information.
(**************************************************************)
Send bug reports, comments and problems by email to