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