The simplest way to get started with LMNtal is to download LaViT (click here), an integrated development environment (IDE) for LMNtal. LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);
If you wish to use different versions of the LMNtal compiler and runtime, please download one or more of the following.