LP, the Larch Prover -- News


January 28, 1999

An updated release, Version 3.1b, of LP is now available. This release fixes some bugs in Version 3.1a and adds some new features.

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