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