Download the proof assistant

INT-1.tar.gz The Ocaml implementation has been written by Michel Lévy

examples | rules | syntax | info | home| download| basis of the method (in french) Last Modified : 19-Jan-2018