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