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 Lévy

examples | rules | syntax | info | home| download

Last Modified : 17-Dec-2021