Download the proof assistant |
ResPoChoixSupport.tar.gz | The design of the web site has been realized by Robert StärkThe 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 |