LP, the Larch Prover — Installation


To use LP, you need both an executable version of LP appropriate for your hardware and LP's run-time support library. As of December 2016, zipped archives of two Intel x86-64 executable versions of LP and of LP's run-time support are available on the web at http://people.csail.mit.edu/garland/LP. If you wish to run LP on another platform, you can try to compile it from its source (lp-source.tar.gz). LP is written in CLU, compilers for which are available from http://pmg.csail.mit.edu/CLU.html.

To install LP, proceed as follows.