Download the proof assistant

The design of the web site has been realized by Robert Stärk
ResPoChoixSupport.tar.gz The rules of proof are the binary resolution, the factorisation and the 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 : 18-Dec-2019