Download the proof assistant |
InstallTableauxS4.tar.gz | The design of the web site has been realized by Robert StärkThe proof'method and Ocaml implementation has been written by Michel Lévy |
examples | rules | syntax | info | home| download | Last Modified : 17-Dec-2021 |