LP, the Larch Prover -- Distribution

To use LP, you need to retrieve two files from larch.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 alpha, decmips, or sparc). Then uncompress the files you obtained, for example, by typing uncompress *.Z.
csh>       ftp larch.lcs.mit.edu
Name:      anonymous
Password:  your_email_address
ftp>       cd pub/Larch/LP
ftp>       bin
ftp>       get lp.lib.tar.Z
ftp>       get lp.platform.Z
ftp>       quit
See also