Download the proof assistant

The design of the web site has been realized by Robert Stärk
SequentGL.tar.gz The proof'method is based on the following paper written by Vìtězlav Švejdar and the Ocaml implementation has been written by michel point levy point imag arobase free point fr

examples | rules | syntax | info | home | download Last Modified : 17-Dec-2021