LP, the Larch Prover -- News
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