LP, the Larch Prover -- News
April 27, 1995
An updated release,
Version 3.1a
, of LP is now available. This release fixes some bugs in Version 3.1.
December 30, 1994
A major new release, Version 3.1, of LP is now available. For more information, see
Features
added in Release 3.1
Changes
required in old proof scripts for use with Release 3.1
LP user manual
Getting
LP