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 : 17-Dec-2021