Download the proof assistant

The design of the web site has been realized by Robert Stärk
InstallTableauxS4.tar.gz The proof'method and Ocaml implementation has been written by michel point levy point imag arobase free point fr

examples | rules | syntax | info | home | download Last Modified : 01-Apr-2019