The design of the web site has been realized by Robert Stärk

ResPoSc.tar.gz

The rules of proof are binary resolution, factorisation and copy of clauses . 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