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