Download the proof assistant

The design of the web site has been realized by Robert Stärk
ModelElimination.tar.gz The rules of proof are described in the page info . The Ocaml implementation has been written by
michel point levy point imag arobase free point fr

examples | syntax | info | home | download Last Modified : 02-Dec-2019