Download the proof assistant

The design of the web site and the Prolog Theorem Prover have been realized by Robert Stärk
assistant-1.18.tar.gz The Ocaml implementation and some changes have been written by Michel Lévy

examples | rules | syntax | info | download | home Last Modified : 18-Jan-2018