doc/libdoc.dvi). You can also look at the PhoX files in the
It is available from the Internet in french and english:
tutorial/french: it contains tutorial. It is only in french. Each tutorial comes with two files:
xxx_cor.phx. In the first one there are questions: ``dots'' that you need to replace by the proper sequence of commands. The second one contains valid answer to all the questions.
There are three kinds of tutorials (see the ``README'' in
tutorial/french for a more detailed description):
minlog_quest.phx(the latest tutorial is difficult).
We plan to translate these tutorials to english.
examples/miniof the distribution : they contain a lot of examples of proof development. Beware that a lot of these examples were develop for some older version of PhoX and could be improved using recent features.