The design of the web site and the Prolog Theorem Prover have been realized by Robert Stärk.

assistantA-1.15.tar.gz

The Ocaml implementation and some changes have been written by Michel Lévy

examples | rules | syntax | info | download | home

Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'Europe/Berlin' for 'CEST/2.0/DST' instead in /www/html/membres/michel.levy/prover/footer.inc on line 13 Last Modified : 29-Oct-2009