Download the proof assistant

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

examples | rules | formulas syntax | proofs definition | info | download | home Last Modified : 23-Feb-2023