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