The local html version of the manual is available at /usr/local/LEDA-4.5/manual_html/
As a first start log on to any linux machine (you can also ssh from home, and if needed later also redirect
the display if you have an X-server running). Linux machines are for example gateway02, gateway03, etc. Then
follow the directions on the getting started page to type in
and compile your first LEDA program.
Check out the LEDA demos at /usr/local/LEDA-4.5/demo . You can also run
/usr/local/LEDA-4.5/demo/xlman/xlman to get a clickable wrapper program to choose which demo to run.