LP, the Larch Prover -- Distribution

To use LP, you need to retrieve two files from ftp.sds.lcs.mit.edu: These files are available both over the WWW and by anonymous ftp. To obtain them by anonymous ftp, type the following commands (with platform replaced by one of linux or solaris). Then uncompress the files you obtained, for example, by typing gunzip *.gz.
csh>       ftp sds.lcs.mit.edu
Name:      anonymous
Password:  your_email_address
ftp>       cd pub/LP
ftp>       bin
ftp>       get lp.lib.tar.gz
ftp>       get lp.platform.gz
ftp>       quit
See also